Formal Modeling and Analysis of Timed Systems - FORMATS 2005; Kanade, Takeo; Pettersson, Paul; Yi, Wang; Kittler, Josef (Springer Berlin / Heidelberg, 2005)