C. André, Syntax and Semantics of the Clock Constraint Specification Language (CCSL) Rapport de recherche RR-6925, 2009.

F. Boussinot and R. Simone, The ESTEREL language, Proceedings of the IEEE, pp.1293-1304, 1991.
DOI : 10.1109/5.97299
URL : https://hal.archives-ouvertes.fr/inria-00075075

Y. Chen, Y. Chen, and E. Madelaine, Timed-pNets: A formal communication behavior model for distributed systems, In Journal of Frointier of Computer Science, 2014.

J. Deantoni and F. Mallet, TimeSquare: Treat Your Models with Logical Time, Lecture Notes in Computer Science -LNCS, vol.7304, pp.34-41, 2012.
DOI : 10.1007/978-3-642-30561-0_4
URL : https://hal.archives-ouvertes.fr/hal-00688590

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563