Syntax and Semantics of the Clock Constraint Specification Language (CCSL), 2009. ,
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. ,