Formal Modeling and Analysis of Timed Systems - Raskin, Jean-François; Kanade, Takeo; Thiagarajan, P. S.; Kittler, Josef (Springer Berlin Heidelberg, 2007)