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.
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.
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.
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.
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.
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 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.
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.
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 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),
pp. 231–274,
doi:10.1016/0167-6423(87)90035-9.
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.
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 http://mtc.epfl.ch/~tah/Publications/giotto.pdf.
Nicholas J. Higham (2002):
Accuracy and stability of numerical algorithms (2. ed.).
SIAM,
doi:10.1137/1.9780898718027.
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.
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.
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.
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.
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.
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.
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.
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 http://www.lab205.org/MDM/reports.html.
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.
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.