Clock constraint specification language: specifying clock constraints with UML/MARTE

This paper has defined a non-normative concrete syntax called the clock constraint specification language (CCSL) and a brief overview of this syntax and its formal semantics, and shows how existing UML model elements can be used to apply this syntax in a graphical way and benefit from the semantics.