@article(AKLP10,
 author       = {Alessandro Abate and Joost{-}Pieter Katoen and John Lygeros and Maria Prandini},
 year         = {2010},
 title        = {Approximate Model Checking of Stochastic Hybrid Systems},
 journal      = {Eur. J. Control},
 volume       = {16},
 number       = {6},
 pages        = {624--641},
 doi          = {10.3166/ejc.16.624-641},
)
@article(APLS08,
 author       = {Alessandro Abate and Maria Prandini and John Lygeros and Shankar Sastry},
 year         = {2008},
 title        = {Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems},
 journal      = {Automatica},
 volume       = {44},
 number       = {11},
 pages        = {2724--2734},
 doi          = {10.1016/j.automatica.2008.03.027},
)
@article(ABM07,
 author       = {Parosh~A. Abdulla and Ben~Henda, Noomene and Richard Mayr},
 year         = {2007},
 title        = {Decisive {M}arkov Chains},
 journal      = {Log. Methods Comput. Sci.},
 volume       = {3},
 number       = {4},
 doi          = {10.2168/LMCS-3(4:7)2007},
)
@article(ACH+,
 author       = {Rajeev Alur and Costas Courcoubetis and Nicolas Halbwachs and Thomas~A. Henzinger and Pei{-}Hsin Ho and Xavier Nicollin and Alfredo Olivero and Joseph Sifakis and Sergio Yovine},
 year         = {1995},
 title        = {The Algorithmic Analysis of Hybrid Systems},
 journal      = {Theor. Comput. Sci.},
 volume       = {138},
 number       = {1},
 pages        = {3--34},
 doi          = {10.1016/0304-3975(94)00202-T},
)
@article(AD94,
 author       = {Rajeev Alur and David~L. Dill},
 year         = {1994},
 title        = {A Theory of Timed Automata},
 journal      = {Theor. Comput. Sci.},
 volume       = {126},
 number       = {2},
 pages        = {183--235},
 doi          = {10.1016/0304-3975(94)90010-8},
)
@proceedings(DBLP:conf/hybrid/2004,
 editor       = {Rajeev Alur and George~J. Pappas},
 year         = {2004},
 title        = {Hybrid Systems: Computation and Control, 7th International Workshop, {HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {2993},
 publisher    = {Springer},
 doi          = {10.1007/b96398},
)
@inproceedings(BBBBG08,
 author       = {Christel Baier and Nathalie Bertrand and Patricia Bouyer and Thomas Brihaye and Gr{\"{o}}{\ss}er, Marcus},
 year         = {2008},
 title        = {Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata},
 booktitle    = {Proceedings of the Twenty-Third Annual {IEEE} Symposium on Logic in Computer Science, {LICS} 2008, 24-27 June 2008, Pittsburgh, PA, {USA}},
 publisher    = {{IEEE} Computer Society},
 pages        = {217--226},
 doi          = {10.1109/LICS.2008.25},
 url          = {https://ieeexplore.ieee.org/xpl/conhome/4557886/proceeding},
)
@book(BK08,
 author       = {Christel Baier and Joost{-}Pieter Katoen},
 year         = {2008},
 title        = {Principles of model checking},
 publisher    = {{MIT} Press},
)
@article(BO04,
 author       = {Alessandro Berarducci and Margarita Otero},
 year         = {2004},
 title        = {An additive measure in o-minimal expansions of fields},
 journal      = {Q. J. Math.},
 volume       = {55},
 number       = {4},
 pages        = {411--419},
 doi          = {10.1093/qmath/hah010},
)
@article(BBBC18,
 author       = {Nathalie Bertrand and Patricia Bouyer and Thomas Brihaye and Pierre Carlier},
 year         = {2018},
 title        = {When are stochastic transition systems tameable?},
 journal      = {J. Log. Algebr. Meth. Program.},
 volume       = {99},
 pages        = {41--96},
 doi          = {10.1016/j.jlamp.2018.03.004},
)
@inproceedings(BBBM08,
 author       = {Nathalie Bertrand and Patricia Bouyer and Thomas Brihaye and Nicolas Markey},
 year         = {2008},
 title        = {Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics},
 booktitle    = {Fifth International Conference on the Quantitative Evaluation of Systems {(QEST} 2008), 14-17 September 2008, Saint-Malo, France},
 publisher    = {{IEEE} Computer Society},
 pages        = {55--64},
 doi          = {10.1109/QEST.2008.19},
 url          = {https://ieeexplore.ieee.org/xpl/conhome/4634932/proceeding},
)
@article(BBB+14,
 author       = {Nathalie Bertrand and Patricia Bouyer and Thomas Brihaye and Quentin Menet and Christel Baier and Gr{\"{o}}{\ss}er, Marcus and Marcin Jurdzinski},
 year         = {2014},
 title        = {Stochastic Timed Automata},
 journal      = {Log. Methods Comput. Sci.},
 volume       = {10},
 number       = {4},
 doi          = {10.2168/LMCS-10(4:6)2014},
)
@book(Bog07,
 author       = {Vladimir~I. Bogachev},
 year         = {2007},
 title        = {Measure theory},
 volume       = {1},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/978-3-540-34514-5},
)
@article(BBRRV20,
 author       = {Patricia Bouyer and Thomas Brihaye and Mickael Randour and C{\'{e}}dric Rivi{\`{e}}re and Pierre Vandenhove},
 year         = {2020},
 title        = {Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version)},
 journal      = {CoRR},
)
@article(BDFP04,
 author       = {Patricia Bouyer and Catherine Dufourd and Emmanuel Fleury and Antoine Petit},
 year         = {2004},
 title        = {Updatable timed automata},
 journal      = {Theor. Comput. Sci.},
 volume       = {321},
 number       = {2-3},
 pages        = {291--345},
 doi          = {10.1016/j.tcs.2004.04.003},
)
@inproceedings(BMRT04,
 author       = {Thomas Brihaye and Christian Michaux and C{\'{e}}dric Rivi{\`{e}}re and Christophe Troestler},
 year         = {2004},
 title        = {On O-Minimal Hybrid Systems},
 editor       = {Alur and Pappas},
 pages        = {219--233},
 doi          = {10.1007/978-3-540-24743-2\_15},
)
@book(Bu12,
 author       = {Luminita~Manuela Bujorianu},
 year         = {2012},
 title        = {Stochastic reachability analysis of hybrid systems},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/978-1-4471-2795-6},
)
@phdthesis(Car17,
 author       = {Pierre Carlier},
 year         = {2017},
 title        = {Verification of Stochastic Timed Automata. (V{\'{e}}rification des automates temporis{\'{e}}s et stochastiques)},
 school       = {University of Paris-Saclay, France},
 url          = {https://tel.archives-ouvertes.fr/tel-01696130},
)
@book(CL07,
 author       = {Christos~G. Cassandras and John Lygeros},
 year         = {2007},
 title        = {Stochastic Hybrid Systems},
 publisher    = {CRC Press},
 doi          = {10.1201/9781420008548},
)
@inproceedings(DDL+12,
 author       = {Alexandre David and Dehui Du and Kim~G. Larsen and Axel Legay and Marius Mikucionis and Danny~B{\o}gsted Poulsen and Sean Sedwards},
 year         = {2012},
 title        = {Statistical Model Checking for Stochastic Hybrid Systems},
 editor       = {Ezio Bartocci and Luca Bortolussi},
 booktitle    = {Proceedings First International Workshop on Hybrid Systems and Biology, {HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
 series       = {{EPTCS}},
 volume       = {92},
 pages        = {122--136},
 doi          = {10.4204/EPTCS.92.9},
)
@inproceedings(GBK16,
 author       = {Daniel Gburek and Christel Baier and Sascha Kl{\"{u}}ppelholz},
 year         = {2016},
 title        = {Composition of Stochastic Transition Systems Based on Spans and Couplings},
 booktitle    = {43rd International Colloquium on Automata, Languages, and Programming, {ICALP} 2016, July 11-15, 2016, Rome, Italy},
 series       = {LIPIcs},
 volume       = {55},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {102:1--102:15},
 doi          = {10.4230/LIPIcs.ICALP.2016.102},
)
@inproceedings(Gen05,
 author       = {Raffaella Gentilini},
 year         = {2005},
 title        = {Reachability Problems on Extended O-Minimal Hybrid Automata},
 editor       = {Paul Pettersson and Wang Yi},
 booktitle    = {Formal Modeling and Analysis of Timed Systems, Third International Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {3829},
 publisher    = {Springer},
 pages        = {162--176},
 doi          = {10.1007/11603009\_14},
)
@inproceedings(Hen96,
 author       = {Thomas~A. Henzinger},
 year         = {1996},
 title        = {The Theory of Hybrid Automata},
 booktitle    = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996},
 publisher    = {{IEEE} Computer Society},
 pages        = {278--292},
 doi          = {10.1109/LICS.1996.561342},
 url          = {https://ieeexplore.ieee.org/xpl/conhome/4265/proceeding},
)
@article(HKPV,
 author       = {Thomas~A. Henzinger and Peter~W. Kopke and Anuj Puri and Pravin Varaiya},
 year         = {1998},
 title        = {What's Decidable about Hybrid Automata?},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {57},
 number       = {1},
 pages        = {94--124},
 doi          = {10.1006/jcss.1998.1581},
)
@inproceedings(HR00,
 author       = {Thomas~A. Henzinger and Jean{-}Fran{\c{c}}ois Raskin},
 year         = {2000},
 title        = {Robust Undecidability of Timed and Hybrid Systems},
 editor       = {Lynch and Krogh},
 pages        = {145--159},
 doi          = {10.1007/3-540-46430-1\_15},
)
@inproceedings(He04,
 author       = {Jo{\~{a}}o~P. Hespanha},
 year         = {2004},
 title        = {Stochastic Hybrid Systems: Application to Communication Networks},
 editor       = {Alur and Pappas},
 pages        = {387--401},
 doi          = {10.1007/978-3-540-24743-2\_26},
)
@book(Ho97,
 author       = {Wilfrid Hodges},
 year         = {1997},
 title        = {A Shorter Model Theory},
 publisher    = {Cambridge University Press},
)
@article(HPRV-peva12,
 author       = {Andr{\'{a}}s Horv{\'{a}}th and Marco Paolieri and Lorenzo Ridi and Enrico Vicario},
 year         = {2012},
 title        = {Transient analysis of non-{M}arkovian models using stochastic state classes},
 journal      = {Perform. Eval.},
 volume       = {69},
 number       = {7-8},
 pages        = {315--335},
 doi          = {10.1016/j.peva.2011.11.002},
)
@inproceedings(HLS00,
 author       = {Jianghai Hu and John Lygeros and Shankar Sastry},
 year         = {2000},
 title        = {Towards a Theory of Stochastic Hybrid Systems},
 editor       = {Lynch and Krogh},
 pages        = {160--173},
 doi          = {10.1007/3-540-46430-1\_16},
)
@article(Kai12,
 author       = {Tobias Kaiser},
 year         = {2012},
 title        = {First order tameness of measures},
 journal      = {Ann. Pure Appl. Logic},
 volume       = {163},
 number       = {12},
 pages        = {1903--1927},
 doi          = {10.1016/j.apal.2012.06.002},
)
@article(KPS86,
 author       = {Julia~F. Knight and Anand Pillay and Charles Steinhorn},
 year         = {1986},
 title        = {Definable sets in ordered structures. {II}},
 journal      = {Transactions of the American Mathematical Society},
 volume       = {295},
 number       = {2},
 pages        = {593--605},
 doi          = {10.1090/S0002-9947-1986-0833698-1},
)
@article(LPS00,
 author       = {Gerardo Lafferriere and George~J. Pappas and Shankar Sastry},
 year         = {2000},
 title        = {O-Minimal Hybrid Systems},
 journal      = {Math. Control Signals Syst.},
 volume       = {13},
 number       = {1},
 pages        = {1--21},
 doi          = {10.1007/PL00009858},
)
@article(LOQD17,
 author       = {Xiangfang Li and Oluwaseyi Omotere and Lijun Qian and Edward~R. Dougherty},
 year         = {2017},
 title        = {Review of stochastic hybrid systems with applications in biological systems modeling and analysis},
 journal      = {{EURASIP} J. Bioinformatics and Systems Biology},
 volume       = {2017},
 pages        = {8},
 doi          = {10.1186/s13637-017-0061-5},
)
@article(LP10,
 author       = {John Lygeros and Maria Prandini},
 year         = {2010},
 title        = {Stochastic Hybrid Systems: {A} Powerful Framework for Complex, Large Scale Applications},
 journal      = {Eur. J. Control},
 volume       = {16},
 number       = {6},
 pages        = {583--594},
 doi          = {10.3166/ejc.16.583-594},
)
@proceedings(DBLP:conf/hybrid/2000,
 editor       = {Nancy~A. Lynch and Bruce~H. Krogh},
 year         = {2000},
 title        = {Hybrid Systems: Computation and Control, Third International Workshop, {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1790},
 publisher    = {Springer},
 doi          = {10.1007/3-540-46430-1},
)
@incollection(MW,
 author       = {Angus Macintyre and Alex~J. Wilkie},
 year         = {1996},
 title        = {On the decidability of the real exponential field},
 booktitle    = {Kreiseliana: About and around {G}eorg {K}reisel},
 publisher    = {A. K. Peters},
 pages        = {441--467},
)
@article(PHV16,
 author       = {Marco Paolieri and Andr{\'{a}}s Horv{\'{a}}th and Enrico Vicario},
 year         = {2016},
 title        = {Probabilistic Model Checking of Regenerative Concurrent Systems},
 journal      = {{IEEE} Trans. Software Eng.},
 volume       = {42},
 number       = {2},
 pages        = {153--169},
 doi          = {10.1109/TSE.2015.2468717},
)
@article(PS86,
 author       = {Anand Pillay and Charles Steinhorn},
 year         = {1986},
 title        = {Definable sets in ordered structures. {I}},
 journal      = {Transactions of the American Mathematical Society},
 volume       = {295},
 number       = {2},
 pages        = {565--592},
 doi          = {10.2307/2000052},
)
@inproceedings(Pnu77,
 author       = {Amir Pnueli},
 year         = {1977},
 title        = {The Temporal Logic of Programs},
 booktitle    = {18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October - 1 November 1977},
 publisher    = {{IEEE} Computer Society},
 pages        = {46--57},
 doi          = {10.1109/SFCS.1977.32},
 url          = {https://ieeexplore.ieee.org/xpl/conhome/4567914/proceeding},
)
@article(PH09,
 author       = {Maria Prandini and Jianghai Hu},
 year         = {2009},
 title        = {Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction},
 journal      = {{IEEE} Trans. Automat. Contr.},
 volume       = {54},
 number       = {4},
 pages        = {913--917},
 doi          = {10.1109/TAC.2008.2011011},
)
@article(PHLS00,
 author       = {Maria Prandini and Jianghai Hu and John Lygeros and Shankar Sastry},
 year         = {2000},
 title        = {A probabilistic approach to aircraft conflict detection},
 journal      = {{IEEE} Trans. Intelligent Transportation Systems},
 volume       = {1},
 number       = {4},
 pages        = {199--220},
 doi          = {10.1109/6979.898224},
)
@article(SH10,
 author       = {Abhyudai Singh and Joao~P. Hespanha},
 year         = {2010},
 title        = {Stochastic hybrid systems for studying biochemical processes},
 journal      = {Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences},
 volume       = {368},
 number       = {1930},
 pages        = {4995--5011},
 doi          = {10.1098/rsta.2010.0211},
)
@book(Tar48,
 author       = {Alfred Tarski},
 year         = {1951},
 title        = {A decision method for elementary algebra and geometry},
 publisher    = {University of California Press},
 address      = {Berkeley, California},
)
@article(vdD84,
 author       = {{van den Dries}, Lou},
 year         = {1984},
 title        = {Remarks on {T}arski's problem concerning ({R}, +, *, exp)},
 journal      = {Studies in Logic and the Foundations of Mathematics},
 volume       = {112},
 number       = {C},
 pages        = {97--121},
 doi          = {10.1016/S0049-237X(08)71811-1},
)
@article(Wi96,
 author       = {Alex~J. Wilkie},
 year         = {1996},
 title        = {Model completeness results for expansions of the ordered field of real numbers by restricted {P}faffian functions and the exponential function},
 journal      = {Journal of the American Mathematical Society},
 volume       = {9},
 number       = {4},
 pages        = {1051--1094},
 doi          = {10.1090/S0894-0347-96-00216-0},
)