B. Combemale, J. Deantoni, M. Vara-larsen, F. Mallet, . O. Barais et al., Reifying Concurrency for Executable Metamodeling, 6th International Conference on Software Language Engineering, Richard F. Paige Martin Erwig, 2013.
DOI : 10.1007/978-3-319-02654-1_20
URL : https://hal.archives-ouvertes.fr/hal-00850770

J. Deantoni and F. Mallet, ECL: the Event Constraint Language, an Extension of OCL with Events, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00721169

F. Mallet, J. Deantoni, C. Andr, and R. De-simone, The clock constraint specification language for building timed causality models, Innovations in Systems and Software Engineering, pp.99-106, 2010.
DOI : 10.1007/s11334-009-0109-0
URL : https://hal.archives-ouvertes.fr/inria-00464894

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