FORMATS 2010 (2010 Klosterneuburg, Austria)

• Formal modeling and analysis of timed systems