Enviar aquest missatge de text: Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings / Eugene Asarin, Patricia Bouyer (eds.).