@article(Alur,
 author       = "R.~Alur and C.~Courcoubetis and N.~Halbwachs and T.~A. Henzinger and P.~h.~Ho and X.~Nicollin and A.~Olivero and J.~Sifakis and S.~Yovine",
 year         = "1995",
 title        = "The Algorithmic Analysis of Hybrid Systems",
 journal      = "Theoretical Computer Science",
 volume       = "138",
 pages        = "3--34",
 doi          = "10.1016/0304-3975(94)00202-T",
)
@article(timed_automata,
 author       = "R.~Alur and D.~L. Dill",
 year         = "1994",
 title        = "A Theory of Timed Automata",
 journal      = "J. of Theor. Computer Science",
 volume       = "126",
 number       = "2",
 pages        = "183--235",
 doi          = "10.1016/0304-3975(94)90010-8",
)
@inproceedings(Babiak2012,
 author       = "T.~Babiak and M.~Kret\'{\i }nsk{\'y} and V.~Reh{\'a}k and J.~Strejcek",
 year         = "2012",
 title        = "{LTL} to {B\"u}chi Automata Translation: Fast and More Deterministic",
 booktitle    = "Proc. of the 18th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012)",
 series       = "LNCS",
 volume       = "7214",
 pages        = "95--109",
 doi          = "10.1007/978-3-642-28756-5_8",
)
@article(ijrnc2012,
 author       = "L.~Benvenuti and D.~Bresolin and P.~Collins and A.~Ferrari and L.~Geretti and T.~Villa",
 year         = "2012",
 title        = "Assume-guarantee verification of nonlinear hybrid systems with {ARIADNE}",
 journal      = "Int. J. Robust Nonlinear Control",
 doi          = "10.1002/rnc.2914",
)
@inproceedings(has2013,
 author       = "D.~Bresolin",
 year         = "2013",
 title        = "{HyLTL}: a temporal logic for model checking hybrid systems",
 booktitle    = "Proc. of the 3rd International Workshop on Hybrid Autonomous Systems (HAS 2013)",
 series       = "EPTCS",
 volume       = "118",
 pages        = "64--75",
 note         = "To appear",
)
@inproceedings(Cimatti09,
 author       = "A.~Cimatti and M.~Roveri and S.~Tonetta",
 year         = "2009",
 title        = "Requirements Validation for Hybrid Systems",
 booktitle    = "CAV",
 series       = "LNCS",
 volume       = "5643",
 pages        = "188--203",
 doi          = "10.1007/978-3-642-02658-4_17",
)
@inproceedings(Duret-Lutz2011,
 author       = "A.~Duret-Lutz",
 year         = "2011",
 title        = "{LTL} translation improvements in {SPOT}",
 booktitle    = "Proc. of the 5th Int. Conf. on Verification and Evaluation of Computer and Communication Systems (VECoS'11)",
 publisher    = "British Computer Society",
 pages        = "72--83",
)
@article(Frehse2008,
 author       = "G.~Frehse",
 year         = "2008",
 title        = "{PHAVer}: algorithmic verification of hybrid systems past HyTech",
 journal      = "International Journal on Software Tools for Technology Transfer (STTT)",
 volume       = "10",
 pages        = "263--279",
 doi          = "10.1007/s10009-007-0062-x",
)
@incollection(Frehse2011,
 author       = "G.~Frehse and C.~Le~Guernic and A.~Donz{\'e} and S.~Cotton and R.~Ray and O.~Lebeltel and R.~Ripado and A.~Girard and T.~Dang and O.~Maler",
 year         = "2011",
 title        = "{SpaceEx}: Scalable Verification of Hybrid Systems",
 booktitle    = "Proc. 23rd International Conference on Computer Aided Verification (CAV 2011)",
 series       = "LNCS",
 volume       = "6806",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "379--395",
 doi          = "10.1007/978-3-642-22110-1_30",
)
@inproceedings(Gastin2001,
 author       = "P.~Gastin and D.~Oddoux",
 year         = "2001",
 title        = "Fast {LTL} to {B\"u}chi Automata Translation",
 booktitle    = "Proc. of the 13th Int. Conf. on Computer Aided Verification (CAV 2001)",
 series       = "LNCS",
 volume       = "2102",
 publisher    = "Springer",
 pages        = "53--65",
 doi          = "10.1007/3-540-44585-4_6",
)
@article(henzinger98whats,
 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(Lamport93,
 author       = "L.~Lamport",
 year         = "1993",
 title        = "Hybrid systems in {TLA+}",
 booktitle    = "Hybrid Systems",
 series       = "LNCS",
 volume       = "736",
 publisher    = "Springer",
 pages        = "77--102",
 doi          = "10.1007/3-540-57318-6_25",
)
@article(uppaal,
 author       = "K.~G. Larsen and P.~Pettersson and W.~Yi",
 year         = "1997",
 title        = "{UPPAAL} in a nutshell",
 journal      = "Int. J. on Software Tools for Technology Transfer",
 volume       = "1",
 number       = "1--2",
 pages        = "134--152",
 doi          = "10.1007/s100090050010",
)
@inproceedings(maler91from,
 author       = "O.~Maler and Z.~Manna and A.~Pnueli",
 year         = "1991",
 title        = "From Timed to Hybrid Systems",
 booktitle    = "Real-Time: Theory in Practice",
 series       = "LNCS",
 volume       = "600",
 publisher    = "Springer-Verlag",
 pages        = "447--484",
 doi          = "10.1007/BFb0032003",
)
@incollection(Maler2004,
 author       = "O.~Maler and D.~Nickovic",
 year         = "2004",
 title        = "Monitoring Temporal Properties of Continuous Signals",
 booktitle    = "Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems",
 series       = "LNCS",
 volume       = "3253",
 publisher    = "Springer",
 pages        = "152--166",
 doi          = "10.1007/978-3-540-30206-3_12",
)
@inproceedings(Platzer2008,
 author       = "A.~Platzer and J.-D. Quesel",
 year         = "2008",
 title        = "{KeYmaera}: A Hybrid Theorem Prover for Hybrid Systems",
 booktitle    = "Proc. of the 3rd International Joint Conference on Automated Reasoning (IJCAR 2008)",
 series       = "LNCS",
 volume       = "5195",
 publisher    = "Springer",
 pages        = "171--178",
 doi          = "10.1007/978-3-540-71070-7_15",
)
@article(hsolver,
 author       = "S.~Ratschan and Z.~She",
 year         = "2007",
 title        = "Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement",
 journal      = "ACM Trans. in Embedded Computing Systems",
 volume       = "6",
 number       = "1",
 doi          = "10.1145/1210268.1210276",
)
@article(Rozier2010,
 author       = "K.~Y. Rozier and M.~Y. Vardi",
 year         = "2010",
 title        = "{LTL} satisfiability checking",
 journal      = "Int. J. on Software Tools for Technology Transfer",
 volume       = "12",
 number       = "2",
 pages        = "123--137",
 doi          = "10.1007/s10009-010-0140-3",
)
@inproceedings(Vardi1986,
 author       = "M.~Y. Vardi and P.~Wolper",
 year         = "1986",
 title        = "An Automata-Theoretic Approach to Automatic Program Verification",
 booktitle    = "Proc. of the 1st Symposium on Logic in Computer Science (LICS'86)",
 publisher    = "IEEE Computer Society",
 pages        = "332--344",
)
@article(kronos97,
 author       = "S.~Yovine",
 year         = "1997",
 title        = "{Kronos}: a verification tool for real-time systems",
 journal      = "Int. J. on Software Tools for Technology Transfer",
 volume       = "1",
 number       = "1--2",
 pages        = "123--133",
 doi          = "10.1007/s100090050009",
)