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

J. Deantoni, F. Mallet, C. André, and B. Ferrero, TimeSquare, on the formal execution of UML and DSL models. 4 th Int, School on MDD for Distributed, 2009.

F. Thomas and E. , Juliot ? Towards a Viewpoint-Based Framework for Reactive Systems Modeling ? Complex Systems Design & Management (CSDM) 2010, Industrial session, 2010.

. Superstructure, Version 2.1.2 formal, pp.2007-2018, 2007.