Formal Modeling and Analysis of Timed Systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings - Jean-François Raskin, P. S. Thiagarajan ((Lecture Notes in Computer Science))