Formal Modeling and Analysis of Timed Systems - Fahrenberg, Uli; Kanade, Takeo; Tripakis, Stavros; Kittler, Josef (Springer Berlin Heidelberg, 2011)