@article(Abate20091601,
 author       = "Alessandro Abate and Ashish Tiwari and Shankar Sastry",
 year         = "2009",
 title        = "Box invariance in biologically-inspired dynamical systems",
 journal      = "Automatica",
 volume       = "45",
 number       = "7",
 pages        = "1601--1610",
 doi          = "10.1016/j.automatica.2009.02.028",
)
@article(A_theory_of_timed_automata,
 author       = "Rajeev Alur and David L. Dill",
 year         = "1994",
 title        = "A theory of timed automata",
 journal      = "Theoretical Computer Science",
 volume       = "126",
 number       = "2",
 pages        = "183--235",
 doi          = "10.1016/0304-3975(94)90010-8",
)
@inproceedings(761977,
 author       = "Mireille Broucke",
 year         = "1998",
 title        = "A Geometric Approach to Bisimulation and Verification of Hybrid Systems",
 booktitle    = "Proceedings of the 37th IEEE Conference on Decision and Control",
 address      = "Tampa, FL, USA",
 pages        = "4277--4282",
 doi          = "10.1109/CDC.1998.761977",
)
@incollection(springerlink:10.1007/978-3-642-22110-1_30,
 author       = "Goran Frehse and Colas Le Guernic and Alexandre Donz{\'e} and Scott Cotton and Rajarshi Ray and Olivier Lebeltel and Rodolfo Ripado and Antoine Girard and Thao Dang and Oded Maler",
 year         = "2011",
 title        = "Space{E}x: Scalable Verification of Hybrid Systems",
 editor       = "Ganesh Gopalakrishnan and Shaz Qadeer",
 booktitle    = "Computer Aided Verification",
 series       = "Lecture Notes in Computer Science",
 volume       = "6806",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "379--395",
 doi          = "10.1007/978-3-642-22110-1\_30",
)
@book(hirsch,
 author       = "Morris W. Hirsch and Stephen Smale and Robert L. Devaney",
 year         = "2004",
 title        = "Differential Equations, Dynamical Systems \& An Introduction to Chaos",
 edition      = "2.",
 publisher    = "Elsevier",
)
@book(Introduction_to_Smooth_Manifolds,
 author       = "John M. Lee",
 year         = "2000",
 title        = "Introduction to Smooth Manifolds",
 publisher    = "Springer",
)
@book(Morse_Theory_book,
 author       = "John W. Milnor",
 year         = "1963",
 title        = "Morse Theory",
 series       = "Annals of Mathematics Studies 51",
 publisher    = "Princeton University Press",
)
@inproceedings(Abstractions_for_Mechanical_Systems,
 author       = "Christoffer Sloth and Rafael Wisniewski",
 year         = "2012",
 title        = "Abstractions for Mechanical Systems",
 booktitle    = "Proceedings of the 4th IFAC Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control",
 address      = "Bertinoro, Italy",
 pages        = "96--101",
 doi          = "10.3182/20120829-3-IT-4022.00049",
)
@article(Complete_Abstractions_of_Dynamical_Systems_by_Timed_Automata,
 author       = "Christoffer Sloth and Rafael Wisniewski",
 year         = "2013",
 title        = "Complete Abstractions of Dynamical Systems by Timed Automata",
 journal      = "Nonlinear Analysis: Hybrid Systems",
 volume       = "7",
 number       = "1",
 pages        = "80--100",
 doi          = "10.1016/j.nahs.2012.05.003",
)
@article(springerlink:10.1007/s10703-007-0044-3,
 author       = "Ashish Tiwari",
 year         = "2008",
 title        = "Abstractions for hybrid systems",
 journal      = "Formal Methods in System Design",
 volume       = "32",
 number       = "1",
 pages        = "57--–83",
 doi          = "10.1007/s10703-007-0044-3",
)
@book(An_Introduction_to_Manifolds,
 author       = "Loring W. Tu",
 year         = "2008",
 title        = "An Introduction to Manifolds",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4419-7400-6",
)
@article(springerlink:10.1007/s00236-006-0037-5,
 author       = "Rafael Wisniewski and Martin Raussen",
 year         = "2007",
 title        = "Geometric analysis of nondeterminacy in dynamical systems",
 journal      = "Acta Informatica",
 volume       = "43",
 number       = "7",
 pages        = "501--519",
 doi          = "10.1007/s00236-006-0037-5",
)