@article(Angeli02,
 author       = "D. Angeli",
 year         = "2002",
 title        = "A Lyapunov approach to incremental stability properties",
 journal      = "Automatic Control, IEEE Transactions on",
 volume       = "47",
 number       = "3",
 pages        = "410 --421",
 doi          = "10.1109/9.989067",
)
@article(Clarke:1986:AVF:5397.5399,
 author       = "E. M. Clarke and E. A. Emerson and A. P. Sistla",
 year         = "1986",
 title        = "Automatic verification of finite-state concurrent systems using temporal logic specifications",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "8",
 number       = "2",
 pages        = "244--263",
 doi          = "10.1145/5397.5399",
)
@article(ForliSepulchre,
 author       = "F. Forni and R. Sepulchre",
 year         = "2012",
 title        = "A differential Lyapunov Framework for Contraction Analysis",
 journal      = "arXiv:1208.2943v1",
)
@incollection(Frehse2008,
 author       = "Goran Frehse and Sumit Jha and Bruce Krogh",
 year         = "2008",
 title        = "A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata",
 editor       = "Magnus Egerstedt and Bud Mishra",
 booktitle    = "Hybrid Systems: Computation and Control",
 series       = "Lecture Notes in Computer Science",
 volume       = "4981",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "187--200",
 doi          = "10.1007/978-3-540-78929-1\_14",
)
@article(Sloth201380,
 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",
 url          = "http://www.sciencedirect.com/science/article/pii/S1751570X12000180",
 note         = "IFAC World Congress 2011",
)
@book(tabuada2009verification,
 author       = "P. Tabuada",
 year         = "2009",
 title        = "Verification and control of hybrid systems: a symbolic approach",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4419-0224-5",
)
@article(Tamassy2008483,
 author       = "L. Tammasy",
 year         = "2008",
 title        = "Relation between metric spaces and Finsler spaces",
 journal      = "Differential Geometry and its Applications",
 volume       = "26",
 number       = "5",
 pages        = "483 -- 494",
 doi          = "10.1016/j.difgeo.2008.04.007",
 url          = "http://www.sciencedirect.com/science/article/pii/S0926224508000284",
)