Formal Modeling And Analysis Of Timed Systems by Kim G. Larsen