J. Deantoni, C. André, and R. Gascon, CCSL denotational semantics, Inria, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01082274

U. Marte, Uml profile for marte: modeling and analysis of real-time embedded systems, 2015.

C. Fidge, Logical time in distributed computing systems, Computer, vol.24, issue.8, pp.28-33, 1991.
DOI : 10.1109/2.84874

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Commun. ACM, vol.21, pp.558-565, 1978.

F. Mallet, Clock constraint specification language: specifying clock constraints with uml/marte, Innovations in Systems and Software Engineering, vol.4, pp.309-314, 2008.
DOI : 10.1007/s11334-008-0055-2
URL : http://hal.inria.fr/docs/00/37/13/71/PDF/isse08.pdf

M. Peraldi-frati, A. Goknil, J. Deantoni, and J. Nordlander, A timing model for specifying multi clock automotive systems. The Timing Augmented Description Language V2, ICECCS 2012 -17th International Conference on Engineering of Complex Computer Systems, pp.230-239, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00687562

C. Glitia, J. Deantoni, F. Mallet, J. Millo, P. Boulet et al., Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte, Design Automation for Embedded Systems, vol.16, issue.2, pp.137-169, 2012.
DOI : 10.1007/s10617-014-9140-y
URL : https://hal.archives-ouvertes.fr/hal-00727239

A. Goknil, J. Deantoni, M. Peraldi-frati, and F. Mallet, Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare, ICECCS'2013 -18th International Conference on Engineering of Complex Computer Systems, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00850673

T. Koch, J. Holtmann, and J. Deantoni, Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications, European Conference on Software Architecture, vol.8627, pp.146-153, 2014.
DOI : 10.1007/978-3-319-09970-5_14
URL : https://hal.archives-ouvertes.fr/hal-01059504

M. Peraldi-frati and J. Deantoni, Scheduling Multi Clock Real Time Systems: From Requirements to Implementation, International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, no. 14th in IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing, vol.57, p.50, 2011.
DOI : 10.1109/isorc.2011.16
URL : https://hal.archives-ouvertes.fr/inria-00586851

K. Garcés, J. Deantoni, and F. Mallet, A Model-Based Approach for Reconciliation of Polychronous Execution Traces, SEAA 2011 -37th EUROMICRO Conference on Software Engineering and Advanced Applications, 2011.

F. Mallet, C. André, and J. Deantoni, Executing AADL models with UML/Marte, Int. Conf. Engineering of Complex Computer Systems -ICECCS'09, pp.371-376, 2009.
DOI : 10.1109/iceccs.2009.10
URL : https://hal.archives-ouvertes.fr/inria-00416592

J. Deantoni and F. Mallet, TimeSquare: Treat your Models with Logical Time, TOOLS -50th International Conference on Objects, Models, Components, vol.7304, pp.34-41, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00688590

C. André, Syntax and semantics of the clock constraint specification language, INRIA, 2009.

B. Berthomieu, F. Peres, and F. Vernadat, Bridging the gap between timed automata and bounded time petri nets, FORMATS, vol.4202, pp.82-97, 2006.

C. André, SyncCharts: A visual representation of reactive behaviors, 1995.

C. André, Electr. Notes Theor. Comput. Sci, vol.88, pp.3-19, 2004.

F. Boussinot and R. Simone, The esterel language, Proceedings of the IEEE, vol.79, issue.9, pp.1293-1304, 1991.
DOI : 10.1109/5.97299
URL : https://hal.archives-ouvertes.fr/inria-00075075

J. Deantoni, C. André, and R. Gascon, CCSL denotational semantics, Inria, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01082274

, Vhdl language reference manual, IEEE, pp.1076-1987, 1988.

C. L. Liu and J. W. Layland, Scheduling algorithms for multiprogramming in a hard-real-time environment, Journal of the ACM (JACM), vol.20, issue.1, pp.46-61, 1973.