FORMATS 2003 (2003 Marseille, France)

• Formal modeling and analysis of timed systems