1. André, C.: Syntax and semantics of the Clock Constraint Specification Language (CCSL). Research Report 6925, INRIA, May 2009. http://hal.inria.fr/inria-00384077/
2. Arnold, A., Point, G., Griffault, A., Rauzy, A.: The altarica formalism for describing concurrent systems. Fundam. Inform. 40(2–3), 109–124 (1999)
3. Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proc. IEEE 91(1), 64–83 (2003)
4. Berardinelli, L., Bernardi, S., Cortellessa, V., Merseguer, J.: UML profiles for non-functional properties at work: analyzing reliability, availability and performance. In: 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (MoDELS/NFPinDSML), CEUR Workshop Proceedings, vol. 553. CEUR-WS.org (2009). http://ceur-ws.org/Vol-553/paper3.pdf
5. Bernardi, S., Merseguer, J., Petriu, D.C.: A dependability profile within MARTE. Softw. Syst. Model. 10(3), 313–336 (2011). http://dx.doi.org/10.1007/s10270-009-0128-1