Clock constraints in UML/MARTE, 2008. ,
Modeling Time(s) ,
DOI : 10.1007/978-3-540-75209-7_38
The synchronous languages twelve years later, Proceedings of the IEEE, vol.91, issue.1, 2003. ,
Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991. ,
DOI : 10.1016/0167-6423(91)90001-E
N-synchronous kahn networks: a relaxed model of synchrony for real-time systems, POPL, pp.180-193, 2006. ,
A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998. ,
DOI : 10.1109/43.736561
CCSL: specifying clock constraints with UML/Marte, ISSE, vol.4, issue.3, pp.309-314, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00371371
A Study of the Recoverability of, 1974. ,
Unified Modeling Language, Superstructure 2.2, pp.7-11, 2007. ,
UML Profile for MARTE OMG document number, 2008. ,
Concurrency Theory, Petri Nets: Central Models and their properties, pp.4-24, 1987. ,
DOI : 10.1007/978-3-540-47919-2_2