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