@article(AMP95,
 author       = {E. Asarin and O. Maler and A. Pnueli},
 year         = {1995},
 title        = {Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives},
 journal      = {Theoretical Comp. Science},
 volume       = {138},
 number       = {1},
 pages        = {35--65},
 doi          = {10.1016/0304-3975(94)00228-B},
)
@inproceedings(APSY02,
 author       = {E. Asarin and G. J. Pace and G. Schneider and S. Yovine},
 year         = {2002},
 title        = {SPeeDI - {A} Verification Tool for Polygonal Hybrid Systems},
 booktitle    = {14th International Conference on Computer Aided Verification (CAV)},
 pages        = {354--358},
 doi          = {10.1007/3-540-45657-0_28},
)
@article(APSY08,
 author       = {E. Asarin and G. J. Pace and G. Schneider and S. Yovine},
 year         = {2008},
 title        = {Algorithmic analysis of polygonal hybrid systems, Part {II}: Phase portrait and tools},
 journal      = {Theoretical Computer Science},
 volume       = {390},
 number       = {1},
 pages        = {1--26},
 doi          = {10.1016/j.tcs.2007.09.025},
)
@inproceedings(ASY01,
 author       = {E. Asarin and G. Schneider and S. Yovine},
 year         = {2001},
 title        = {On the Decidability of the Reachability Problem for Planar Differential Inclusions},
 booktitle    = {Hybrid Systems: Computation and Control, 4th International Workshop, {HSCC} 2001, Rome, Italy, March 28-30, 2001, Proceedings},
 pages        = {89--104},
 doi          = {10.1007/3-540-45351-2_11},
)
@article(ASY07,
 author       = {E. Asarin and G. Schneider and S. Yovine},
 year         = {2007},
 title        = {Algorithmic analysis of polygonal hybrid systems, part {I}: Reachability},
 journal      = {Theoretical Computer Science},
 volume       = {379},
 number       = {1-2},
 pages        = {231--265},
 doi          = {10.1016/j.tcs.2007.03.055},
)
@inproceedings(CAS13,
 author       = {X. Chen and E. {\'{A}}brah{\'{a}}m and S. Sankaranarayanan},
 year         = {2013},
 title        = {Flow*: An Analyzer for Non-linear Hybrid Systems},
 booktitle    = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
 pages        = {258--263},
 doi          = {10.1007/978-3-642-39799-8_18},
)
@inproceedings(CSMAFK15,
 author       = {X. Chen and S. Schupp and I. B. Makhlouf and E. {\'{A}}brah{\'{a}}m and G. Frehse and S. Kowalewski},
 year         = {2015},
 title        = {A Benchmark Suite for Hybrid Systems Reachability Analysis},
 booktitle    = {{NASA} Formal Methods - 7th International Symposium, Pasadena, CA, USA, April 27-29, 2015, Proceedings},
 pages        = {408--414},
 doi          = {10.1007/978-3-319-17524-9_29},
)
@inproceedings(FI04,
 author       = {A. Fehnker and Ivan{\v{c}}i{\'c}, F.},
 year         = {2004},
 title        = {Benchmarks for hybrid systems verification},
 booktitle    = {International Workshop on Hybrid Systems: Computation and Control},
 organization = {Springer},
 pages        = {326--341},
 doi          = {10.1007/978-3-540-24743-2_22},
)
@inproceedings(GDBBGR16,
 author       = {A. Gurung and A. Deka and E. Bartocci and S. Bogomolov and R. Grosu and R. Ray},
 year         = {2016},
 title        = {Parallel reachability analysis for hybrid systems},
 booktitle    = {2016 {ACM/IEEE} International Conference on Formal Methods and Models for System Design, {MEMOCODE} 2016, Kanpur, India, November 18-20, 2016},
 pages        = {12--22},
 doi          = {10.1109/MEMCOD.2016.7797741},
)
@inproceedings(hansen2009gspeedi,
 author       = {H. A. Hansen and G. Schneider},
 year         = {2009},
 title        = {GSPeeDi--a Verification Tool for Generalized Polygonal Hybrid Systems},
 booktitle    = {International Colloquium on Theoretical Aspects of Computing},
 organization = {Springer},
 pages        = {343--348},
 doi          = {10.1007/978-3-642-03466-4_23},
)
@article(HKPV98,
 author       = {T. A. Henzinger and P. W. Kopke and A. Puri and P. Varaiya},
 year         = {1998},
 title        = {What's Decidable About Hybrid Automata?},
 journal      = {Journal of Computer and System Sciences},
 volume       = {57},
 number       = {1},
 pages        = {94--124},
 doi          = {10.1006/jcss.1998.1581},
)
@inproceedings(KGCC15,
 author       = {S. Kong and S. Gao and W. Chen and E. M. Clarke},
 year         = {2015},
 title        = {dReach: {$\delta$}-Reachability Analysis for Hybrid Systems},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, {TACAS} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings},
 pages        = {200--205},
 doi          = {10.1007/978-3-662-46681-0_15},
)
@inproceedings(PS2006,
 author       = {G. Pace and G. Schneider},
 year         = {2006},
 title        = {A compositional algorithm for parallel model checking of polygonal hybrid systems},
 booktitle    = {International Colloquium on Theoretical Aspects of Computing},
 organization = {Springer},
 pages        = {168--182},
 doi          = {10.1007/11921240_12},
)
@inproceedings(PS08,
 author       = {G. J. Pace and G. Schneider},
 year         = {2008},
 title        = {Relaxing Goodness Is Still Good},
 booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
 pages        = {274--289},
 doi          = {10.1007/978-3-540-85762-4_19},
)
@inproceedings(PQ08,
 author       = {A. Platzer and J.-D. Quesel},
 year         = {2008},
 title        = {KeYmaera: {A} Hybrid Theorem Prover for Hybrid Systems (System Description)},
 booktitle    = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008, Sydney, Australia, August 12-15, 2008, Proceedings},
 pages        = {171--178},
 doi          = {10.1007/978-3-540-71070-7_15},
)
@inproceedings(RS05,
 author       = {S. Ratschan and Z. She},
 year         = {2005},
 title        = {Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement},
 booktitle    = {Hybrid Systems: Computation and Control, 8th International Workshop (HSCC)},
 pages        = {573--589},
 doi          = {10.1007/978-3-540-31954-2_37},
)
@(ST17,
 author       = {A. Sandler and O. Tveretina},
 title        = {ParaPlan Tool},
 url          = {https://github.com/asandler/ParaPlan},
)
@misc(speedi06,
 author       = {G. Schneider and G. Pace},
 year         = {2006},
 title        = {SPeeDI+: A 2 Dimensional Hybrid System Model Checker},
 howpublished = {http://www.cs.um.edu.mt/$\sim$svrg/Tools/SPeeDI/index.html},
 note         = {[Online; accessed 27-January-2017]},
)
@inproceedings(SAMFSK15,
 author       = {S. Schupp and E. {\'A}brah{\'a}m and X. Chen and I. B. Makhlouf and G. Frehse and S. Sankaranarayanan and S. Kowalewski},
 year         = {2015},
 title        = {Current challenges in the verification of hybrid systems},
 booktitle    = {International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems},
 organization = {Springer},
 pages        = {8--24},
 doi          = {10.1007/978-3-319-25141-7_2},
)
@article(T73,
 author       = {R. E. Tarjan},
 year         = {1973},
 title        = {Enumeration of the Elementary Circuits of a Directed Graph},
 journal      = {{SIAM} J. Comput.},
 volume       = {2},
 number       = {3},
 pages        = {211--216},
 doi          = {10.1137/0202017},
)