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