1. The Mathworks: Stateflow and Stateflow Coder, User's Guide. Available at
  2. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger & Pei-Hsin Ho (1992): Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In: Robert L. Grossman, Anil Nerode, Anders P. Ravn & Hans Rischel: Hybrid Systems, Lecture Notes in Computer Science 736. Springer, pp. 209–229, doi:10.1007/3-540-57318-6_30.
  3. Rajeev Alur & David L. Dill (1994): A theory of timed automata. Theor. Comput. Sci. 126, pp. 183–235, doi:10.1016/0304-3975(94)90010-8. Available at
  4. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye & Axel Legay (2012): Statistical abstraction and model-checking of large heterogeneous systems. STTT 14(1), pp. 53–72, doi:10.1007/s10009-011-0201-2.
  5. Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson & Wang Yi (2011): Developing UPPAAL over 15 years. Softw., Pract. Exper. 41(2), pp. 133–142, doi:10.1002/spe.1006.
  6. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis & Zheng Wang (2011): Time for Statistical Model Checking of Real-Time Systems. In: Ganesh Gopalakrishnan & Shaz Qadeer: CAV, Lecture Notes in Computer Science 6806. Springer, pp. 349–355, doi:10.1007/978-3-642-22110-1_27.
  7. Bruno Dutertre (1995): Complete Proof Systems for First Order Interval Temporal Logic. In: LICS. IEEE Computer Society, pp. 36–43, doi:10.1093/logcom/14.2.215.
  8. Holger Giese & Sven Burmester (2003): Real-Time Statechart Semantics. Technical Report TR-RI-03-239. Software Engineering Group, University of Paderborn, Warburger Str. 100, D-33098 Paderborn, Germany. Available at
  9. Holger Giese, Matthias Tichy, Sven Burmester, Wilhelm Schäfer & Stephan Flake (2003): Towards the compositional verification of real-time UML designs. In: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering, ESEC/FSE-11. ACM, New York, NY, USA, pp. 38–47, doi:10.1145/940071.940078.
  10. D. Harel & A. Pnueli (1985): On the development of reactive systems, pp. 477–498. Springer-Verlag New York, Inc., New York, NY, USA. Available at
  11. David Harel (1987): Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), pp. 231–274, doi:10.1016/0167-6423(87)90035-9.
  12. Klaus Havelund (2008): Runtime Verification of C Programs. In: Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop, TestCom '08 / FATES '08. Springer-Verlag, Berlin, Heidelberg, pp. 7–22, doi:10.1007/978-3-540-68524-1_3.
  13. Thomas A. Henzinger, Benjamin Horowitz & Christoph M. Kirsch (2001): Giotto: a Time-triggered Language for Embedded Programming. Technical Report. Department of Electronic Engineering and Computer Science, University of California, Berkeley, Berkeley, CA, USA. Available at
  14. Nicholas J. Higham (2002): Accuracy and stability of numerical algorithms (2. ed.). SIAM, doi:10.1137/1.9780898718027.
  15. Farnam Jahanian & Aloysius K. Mok (1994): Modechart: A Specification Language for Real-Time Systems. IEEE Trans. Softw. Eng. 20, pp. 933–947, doi:10.1109/32.368134. Available at 10.1109/32.368134.
  16. Kim G. Larsen, Axel Legay, Louis-Marie Traonouez & Andrzej Wasowski (2011): Robust Specification of Real Time Components. In: Uli Fahrenberg & Stavros Tripakis: FORMATS, Lecture Notes in Computer Science 6919. Springer, pp. 129–144, doi:10.1007/978-3-642-24310-3_10.
  17. Ben C. Moszkowski & Zohar Manna (1983): Reasoning in Interval Temporal Logic. In: Edmund M. Clarke & Dexter Kozen: Logic of Programs, Lecture Notes in Computer Science 164. Springer, pp. 371–382, doi:10.1007/3-540-12896-4_374.
  18. Hyunok Oh & Soonhoi Ha (2002): Hardware-software cosynthesis of multi-mode multi-task embedded systems with real-time constraints. In: Proceedings of the tenth international symposium on Hardware/software codesign, CODES '02. ACM, New York, NY, USA, pp. 133–138, doi:10.1145/774789.774817.
  19. Marcus T. Schmitz, Bashir M. Al-Hashimi & Petru Eles (2005): Cosynthesis of energy-efficient multimode embedded systems with consideration of mode-execution probabilities. IEEE Trans. on CAD of Integrated Circuits and Systems 24(2), pp. 153–169, doi:10.1109/TCAD.2004.837729.
  20. Koushik Sen, Mahesh Viswanathan & Gul Agha (2004): Statistical Model Checking of Black-Box Probabilistic Systems. In: Rajeev Alur & Doron Peled: CAV, Lecture Notes in Computer Science 3114. Springer, pp. 202–215, doi:10.1007/978-3-540-27813-9_16.
  21. Volker Stolz & Eric Bodden (2006): Temporal Assertions using AspectJ. Electron. Notes Theor. Comput. Sci. 144, pp. 109–124, doi:10.1016/j.entcs.2006.02.007.
  22. Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu & Jifeng He (2011): ModeDiagram: A Modeling Notation for Requirement Analysis in Aerospace. Technical Report LAB-205-TR-HT-11-0812. Software Engineering Insititute, East China Normal University, North Zhongshan Road. 3663, Shanghai, China. Available at
  23. Håkan L. S. Younes (2005): Probabilistic Verification for ``Black-Box'' Systems. In: Kousha Etessami & Sriram K. Rajamani: CAV, Lecture Notes in Computer Science 3576. Springer, pp. 253–265, doi:10.1007/11513988_25.
  24. Håkan L. S. Younes & Reid G. Simmons (2002): Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. In: Ed Brinksma & Kim Guldstrand Larsen: CAV, Lecture Notes in Computer Science 2404. Springer, pp. 223–235, doi:10.1007/3-540-45657-0_17.

Comments and questions to:
For website issues: