C. André, Syntax and Semantics of the Clock Constraint Specification Language (CCSL), 2009.

G. Plotkin, A structural approach to operational semantics, Journal of Logic and Algebraic Programming Inria RESEARCH CENTRE SOPHIA ANTIPOLIS ? MÉDITERRANÉE 2004 route des Lucioles -BP 93, pp.60-6117, 1981.