Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings - Raskin, Jean-Francois.; Raskin, Jean-Francois.; Thiagarajan, P.S.; Thiagarajan, P.S. (Springer Berlin Heidelberg : Imprint: Springer, 2007)