From Timed Models to Timed Implementations

Rajeev Alur, P. Madhusudan, Decision Problems for Timed Automata : A Survey formal methods. ,vol. 3185, pp. 1- 24 ,(2004) , 10.1007/978-3-540-30080-9_1

Elena Fersman, Paul Pettersson, Wang Yi, Timed Automata with Asynchronous Processes: Schedulability and Decidability tools and algorithms for construction and analysis of systems. pp. 67- 82 ,(2002) , 10.1007/3-540-46002-0_6

Pei -Hsin Ho, Howard Wong-Toi, Automated Analysis of an Audio Control Protocol computer aided verification. pp. 381- 394 ,(1995) , 10.1007/3-540-60045-0_64

Nicolas Halbwachs, Yann -Eric Proy, Pascal Raymond, Verification of linear hybrid systems by means of convex approximations static analysis symposium. pp. 223- 237 ,(1994) , 10.1007/3-540-58485-4_43

Thomas A. Henzinger, The temporal specification and verification of real-time systems Stanford University. ,(1992)

Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm, Reliable and Precise WCET Determination for a Real-Life Processor embedded software. pp. 469- 485 ,(2001) , 10.1007/3-540-45449-7_32

Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi, TIMES - A Tool for Modelling and Implementation of Embedded Systems tools and algorithms for construction and analysis of systems. pp. 460- 464 ,(2002) , 10.1007/3-540-46002-0_32

Goran Frehse, PHAVer: algorithmic verification of hybrid systems past hytech international conference on hybrid systems computation and control. pp. 258- 273 ,(2005) , 10.1007/978-3-540-31954-2_17

Thomas A. Henzinger, Joseph Sifakis, The Embedded Systems Design Challenge FM 2006: Formal Methods. pp. 1- 15 ,(2006) , 10.1007/11813040_1

Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin, Robustness and Implementability of Timed Automata Lecture Notes in Computer Science. ,vol. 3253, pp. 118- 133 ,(2004) , 10.1007/978-3-540-30206-3_10