Syntax and Semantics of the Clock Constraint Specification Language (CCSL) Research report, 2009. ,
TimeSquare, on the formal execution of UML and DSL models. 4 th Int, School on MDD for Distributed, 2009. ,
Juliot ? Towards a Viewpoint-Based Framework for Reactive Systems Modeling ? Complex Systems Design & Management (CSDM) 2010, Industrial session, 2010. ,
Version 2.1.2 formal, pp.2007-2018, 2007. ,