Formal modeling and analysis of timed systems 5th International Conference, FORMATS 2007 : Salzburg, Austria, October 3-5, 2007 : proceedings - Raskin, Jean-François, 1972- (Springer, 2007)