Formal Modeling And Analysis Of Timed Systems by P. Pettersson