The Mathworks: Stateflow and Stateflow Coder, User's Guide www.mathworks.com/help/releases/R13sp2/pdf_doc/stateflow/sf_ug.pdf Rajeev Alur Costas Courcoubetis Thomas A. Henzinger Pei-Hsin Ho 1992 Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems Robert L. Grossman Anil Nerode Anders P. Ravn Hans Rischel Hybrid Systems Lecture Notes in Computer Science 736 Springer 209–229 10.1007/3-540-57318-6_30 Rajeev Alur David L. Dill 1994 A theory of timed automata Theor. Comput. Sci. 126 183–235 10.1016/0304-3975(94)90010-8 http://dl.acm.org/citation.cfm?id=180782.180519 Ananda Basu Saddek Bensalem Marius Bozga Benoît Delahaye Axel Legay 2012 Statistical abstraction and model-checking of large heterogeneous systems STTT 14 1 53–72 10.1007/s10009-011-0201-2 Gerd Behrmann Alexandre David Kim Guldstrand Larsen Paul Pettersson Wang Yi 2011 Developing UPPAAL over 15 years Softw., Pract. Exper. 41 2 133–142 10.1002/spe.1006 Alexandre David Kim G. Larsen Axel Legay Marius Mikucionis Zheng Wang 2011 Time for Statistical Model Checking of Real-Time Systems Ganesh Gopalakrishnan Shaz Qadeer CAV Lecture Notes in Computer Science 6806 Springer 349–355 10.1007/978-3-642-22110-1_27 Bruno Dutertre 1995 Complete Proof Systems for First Order Interval Temporal Logic LICS IEEE Computer Society 36–43 10.1093/logcom/14.2.215 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
http://www.hpi.uni-potsdam.de/giese/gforge/publications/tr-ri-03-239.pdf
Holger Giese Matthias Tichy Sven Burmester Wilhelm Schäfer Stephan Flake 2003 Towards the compositional verification of real-time UML designs 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
38–47 10.1145/940071.940078
D. Harel A. Pnueli 1985 On the development of reactive systems 477–498 Springer-Verlag New York, Inc.
New York, NY, USA
http://dl.acm.org/citation.cfm?id=101969.101990
David Harel 1987 Statecharts: A visual formalism for complex systems Science of Computer Programming 8 3 231–274 10.1016/0167-6423(87)90035-9 Klaus Havelund 2008 Runtime Verification of C Programs 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
7–22 10.1007/978-3-540-68524-1_3
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
http://mtc.epfl.ch/~tah/Publications/giotto.pdf
Nicholas J. Higham 2002 Accuracy and stability of numerical algorithms (2. ed.) SIAM 10.1137/1.9780898718027 Farnam Jahanian Aloysius K. Mok 1994 Modechart: A Specification Language for Real-Time Systems IEEE Trans. Softw. Eng. 20 933–947 10.1109/32.368134 10.1109/32.368134 Kim G. Larsen Axel Legay Louis-Marie Traonouez Andrzej Wasowski 2011 Robust Specification of Real Time Components Uli Fahrenberg Stavros Tripakis FORMATS Lecture Notes in Computer Science 6919 Springer 129–144 10.1007/978-3-642-24310-3_10 Ben C. Moszkowski Zohar Manna 1983 Reasoning in Interval Temporal Logic Edmund M. Clarke Dexter Kozen Logic of Programs Lecture Notes in Computer Science 164 Springer 371–382 10.1007/3-540-12896-4_374 Hyunok Oh Soonhoi Ha 2002 Hardware-software cosynthesis of multi-mode multi-task embedded systems with real-time constraints Proceedings of the tenth international symposium on Hardware/software codesign CODES '02 ACM
New York, NY, USA
133–138 10.1145/774789.774817
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 153–169 10.1109/TCAD.2004.837729 Koushik Sen Mahesh Viswanathan Gul Agha 2004 Statistical Model Checking of Black-Box Probabilistic Systems Rajeev Alur Doron Peled CAV Lecture Notes in Computer Science 3114 Springer 202–215 10.1007/978-3-540-27813-9_16 Volker Stolz Eric Bodden 2006 Temporal Assertions using AspectJ Electron. Notes Theor. Comput. Sci. 144 109–124 10.1016/j.entcs.2006.02.007 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
http://www.lab205.org/MDM/reports.html
Håkan L. S. Younes 2005 Probabilistic Verification for ``Black-Box'' Systems Kousha Etessami Sriram K. Rajamani CAV Lecture Notes in Computer Science 3576 Springer 253–265 10.1007/11513988_25 Håkan L. S. Younes Reid G. Simmons 2002 Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling Ed Brinksma Kim Guldstrand Larsen CAV Lecture Notes in Computer Science 2404 Springer 223–235 10.1007/3-540-45657-0_17