Object Management Group, Document, issue.0, pp.2009-2020, 2009. ,
Modeling Time(s), MoDELS, pp.559-573, 2007. ,
DOI : 10.1007/978-3-540-75209-7_38
Syntax and semantics of the clock constraint specification language (CCSL), Research Report, vol.6925, p.5, 2009. ,
Marte CCSL to Execute East-ADL Timing Requirements, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.249-253 ,
DOI : 10.1109/ISORC.2009.18
URL : https://hal.archives-ouvertes.fr/inria-00383262
Specification and verification of time requirements with CCSL and esterel, LCTES, pp.167-176, 2009. ,
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
DOI : 10.1145/359545.359563
The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, pp.1270-1282, 1991. ,
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115
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
The Esterel Language Primer, version v5_91, 2000. ,
A multiform time approach to real-time system modeling; Application to an automotive system, 2007 International Symposium on Industrial Embedded Systems, pp.234-241, 2007. ,
DOI : 10.1109/SIES.2007.4297340
Scheduling Multi Clock Real Time Systems: From Requirements to Implementation, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.50-57, 2011. ,
DOI : 10.1109/ISORC.2011.16
URL : https://hal.archives-ouvertes.fr/inria-00586851
On the Semantics of UML/MARTE Clock Constraints, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.305-312 ,
DOI : 10.1109/ISORC.2009.27
URL : https://hal.archives-ouvertes.fr/inria-00383279
Clock constraint specification language in UML/- MARTE CCSL, Research Report, vol.6540, p.5, 2008. ,
TimeSquare: Treat Your Models with Logical Time, 50th International Conference on Objects, Models, Components, Patterns -2012, pp.34-41, 2012. ,
DOI : 10.1007/978-3-642-30561-0_4
URL : https://hal.archives-ouvertes.fr/hal-00688590
Operational Semantics of the Model of Concurrency and Communication Language, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01060601
Concurrency theory, Petri Nets: Central Models and their Properties, 1987. ,