Formal Modeling And Analysis Of Timed Systems door P. Pettersson