@article(BeekMRRS06,
 author       = "D.~A. van Beek and K.~L. Man and M.~A. Reniers and J.~E. Rooda and R.~R.~H. Schiffelers",
 year         = "2006",
 title        = "Syntax and consistent equation semantics of hybrid Chi",
 journal      = "Journal of Logic and Algebraic Programming",
 volume       = "68",
 number       = "1-2",
 pages        = "129--210",
 doi          = "10.1016/j.jlap.2005.10.005",
)
@article(deBoerGM99,
 author       = "F.~S. de~Boer and M.~Gabbrielli and M.~C. Meo",
 year         = "2000",
 title        = "{A Timed Concurrent Constraint Language}",
 journal      = "Information and Computation",
 volume       = "161",
 number       = "1",
 pages        = "45--83",
 doi          = "10.1006/inco.1999.2879",
)
@article(CominiTV14cltl,
 author       = "M.~Comini and L.~Titolo and A.~Villanueva",
 year         = "2014",
 title        = "{Abstract Diagnosis for \textsf {tccp} using a Linear Temporal Logic}",
 journal      = "Theory and Practice of Logic Prog.",
 volume       = "14",
 number       = "4-5",
 pages        = "787--801",
 doi          = "10.1017/S1471068414000349",
)
@article(CuijpersR05,
 author       = "P.~J.~L. Cuijpers and M.~A. Reniers",
 year         = "2005",
 title        = "Hybrid process algebra",
 journal      = "Journal of Logic and Algebraic Programming",
 volume       = "62",
 number       = "2",
 pages        = "191--245",
 doi          = "10.1016/j.jlap.2004.02.001",
)
@inproceedings(DawsY95,
 author       = "C.~Daws and S.~Yovine",
 year         = "1995",
 title        = "Two Examples of Verification of Multirate Timed Automata with Kronos",
 booktitle    = "Proceedings of the 16th IEEE Real-Time Systems Symposium",
 series       = "RTSS '95",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "66--75",
 doi          = "10.1109/REAL.1995.495197",
)
@article(GallardoP13,
 author       = "M.~M. Gallardo and L.~Panizo",
 year         = "2013",
 title        = "{Extending Model Checkers for Hybrid System Verification: the case study of SPIN}",
 journal      = "Software Testing, Verification and Reliability",
 doi          = "10.1002/stvr.1505",
)
@inproceedings(GuptaJSB94,
 author       = "V.~Gupta and R.~Jagadeesan and V.~A. Saraswat and D.~G. Bobrow",
 year         = "1994",
 title        = "Programming in Hybrid Constraint Languages",
 editor       = "P.J. Antsaklis and W.~Kohn and A.~Nerode and S.~Sastry",
 booktitle    = "Hybrid Systems {II}",
 series       = "Lecture Notes in Computer Science",
 volume       = "999",
 publisher    = "Springer",
 pages        = "226--251",
 doi          = "10.1007/3-540-60472-3\_12",
)
@inproceedings(Henzinger96,
 author       = "T.~A. Henzinger",
 year         = "1996",
 title        = "The theory of hybrid automata",
 booktitle    = "Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science",
 series       = "LICS '96",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "278--292",
)
@techreport(Kopke96,
 author       = "P.~W. Kopke",
 year         = "1996",
 title        = "The Theory of Rectangular Hybrid Automata",
 type         = "Technical Report",
 address      = "Ithaca, NY, USA",
)
@phdthesis(Saraswat89phd,
 author       = "V.~A. Saraswat",
 year         = "1989",
 title        = "Concurrent Constraint Programming Languages",
 address      = "Pittsburgh, PA, USA",
)