@article(AD94,
 author       = "R. Alur and D. 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",
)
@article(AMP95,
 author       = "E. Asarin and O. Maler and A. Pnueli",
 year         = "1995",
 title        = "Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives",
 journal      = "Theor. Comput. Sci.",
 volume       = "138",
 number       = "1",
 pages        = "35--65",
 doi          = "10.1016/0304-3975(94)00228-B",
)
@article(ASY07,
 author       = "E. Asarin and G. Schneider and S. Yovine",
 year         = "2007",
 title        = "Algorithmic analysis of polygonal hybrid systems, part {I}: Reachability",
 journal      = "Theor. Comput. Sci.",
 volume       = "379",
 number       = "1-2",
 pages        = "231--265",
 doi          = "10.1016/j.tcs.2007.03.055",
)
@article(B80,
 author       = "R. P. Brent",
 year         = "1980",
 title        = "An improved Monte Carlo factorization algorithm",
 journal      = "BIT Numerical Mathematics",
 volume       = "20",
 pages        = "176--184",
 doi          = "10.1007/BF01933190",
 note         = "10.1007/BF01933190",
)
@inproceedings(B99,
 author       = "M. Broucke",
 year         = "1999",
 title        = "A geometric approach to bisimulation and verification of hybrid systems",
 booktitle    = "Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science",
 publisher    = "Springer-Verlag",
 pages        = "61--75",
 doi          = "10.1007/3-540-48983-5_9",
)
@article(CetAl97,
 author       = "T. Cramer and R. Friedman and T. Miller and D. Seberger and R. Wilson and M. Wolczko",
 year         = "1997",
 title        = "Compiling Java just in time",
 journal      = "Micro, IEEE",
 volume       = "17",
 number       = "3",
 pages        = "36--43",
 doi          = "10.1109/40.591653",
)
@inproceedings(HKPV95,
 author       = "T. A. Henzinger and P. W. Kopke and A. Puri and P. Varaiya",
 year         = "1995",
 title        = "What's decidable about hybrid automata?",
 booktitle    = "STOC",
 pages        = "373--382",
 doi          = "10.1145/225058.225162",
)
@misc(HetAl00,
 author       = "J. Hicklin and C. Moler and P. Webb and R.F. Boisvert and B. Miller and R. Pozo and K. Remington",
 year         = "2000",
 title        = "{Jama: A Java matrix package}",
 howpublished = "Website",
 url          = "http://math.nist.gov/javanumerics/jama",
)
@article(LPS00,
 author       = "G. Lafferriere and G. J. Pappas and S. Sastry",
 year         = "2000",
 title        = "O-Minimal Hybrid Systems",
 journal      = "Math. Control Signals Systems",
 volume       = "13",
 pages        = "1--21",
 doi          = "10.1007/PL00009858",
)
@inproceedings(LPY99,
 author       = "G. Lafferriere and G. J. Pappas and S. Yovine",
 year         = "1999",
 title        = "A New Class of Decidable Hybrid Systems",
 booktitle    = "HSCC",
 pages        = "137--151",
 doi          = "10.1007/3-540-48983-5_15",
)
@inproceedings(LPY99-2,
 author       = "G. Lafferriere and G.J. Pappas and S. Yovine",
 year         = "1999",
 title        = "Reachability Computation For Linear Hybrid Systems",
 booktitle    = "Proceedings of the 14th IFAC World Congress",
 volume       = "E",
 pages        = "7--12",
)
@inproceedings(MP93,
 author       = "O. Maler and A. Pnueli",
 year         = "1993",
 title        = "Reachability Analysis of Planar Multi-linear Systems",
 booktitle    = "CAV",
 pages        = "194--209",
 doi          = "10.1007/3-540-56922-7_17",
)
@misc(TF11,
 author       = "O. Tveretina and D. Funke",
 year         = "2011",
 title        = "3-Dimensional Multi-Linear Systems",
 howpublished = "Website",
 url          = "http://www.stud.uni-karlsruhe.de/~uucom/ml_systems/index.html",
)
@techreport(TF11-2,
 author       = "O. Tveretina and D. Funke",
 year         = "2011",
 title        = "Deciding Reachability for a Subclass of 3-Dimensional Multi-Linear Systems",
 type         = "Technical Report",
 number       = "2011-19",
 institution  = "Karlsruhe Institute of Technology",
)