1. OMG: UML profile for MARTE: Modeling and analysis of real-time embedded systems. Technical report, OMG, June 2011. Formal 02 June 2011
2. Mallet, F.: Clock constraint specification language: specifying clock constraints with UML/MARTE. ISSE 4(3), 309–314 (2008)
3. André, C.: Syntax and semantics of the clock constraint specification language (CCSL). Research Report RR-6925, INRIA (2009)
4. Mallet, F., de Simone, R.: Correctness issues on MARTE/CCSL constraints. Sci. Comput. Program. 106, 78–92 (2015)
5. Mallet, F., Millo, J.V., de Simone, R.: Safe CCSL specifications and marked graphs. In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, pp. 157–166, IEEE (2013)