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