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