Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings / - Asarin, E. A.; Bouyer, Patricia, (Lecture notes in computer science,)