Formal Modeling and Analysis of Timed Systems - Ouaknine, Joël; Kanade, Takeo; Vaandrager, Frits W.; Kittler, Josef (Springer Berlin Heidelberg, 2009)