, OMG: UML profile for MARTE: Modeling and analysis of real-time embedded systems, OMG, 2011.

F. Mallet, Clock constraint specification language: specifying clock constraints with UML/MARTE, 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

C. André, Syntax and Semantics of the Clock Constraint Specification Language (CCSL), INRIA, 2009.

F. Mallet and R. De-simone, Correctness issues on MARTE/CCSL constraints. Sci. Comput. Program, vol.106, pp.78-92, 2015.

F. Mallet, J. V. Millo, and R. De-simone, Safe CCSL specifications and marked graphs, 11th ACM/IEEE Int. Conf. on Formal Methods and Models for Codesign, pp.157-166, 2013.
DOI : 10.1007/978-3-642-41202-8_3
URL : https://hal.archives-ouvertes.fr/hal-00913962

M. Zhang and Y. Ying, Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems, LCTES '17, pp.61-70, 2017.

D. Harel, D. Kozen, and J. Tiuryn, Dynamic logic, SIGACT News, vol.32, issue.1, pp.66-69, 2001.

D. Harel, First-Order Dynamic Logic, LNCS, vol.68, 1979.

N. Halbwachs, Synchronous programming of reactive systems, 1993.

C. Barrett, P. Fontaine, and C. Tinelli, The SMT-LIB Standard: Version 2.6, 2017.

T. Nipkow, L. C. Paulson, and M. Wenzel, Isabelle/HOL-A Proof Assistant for Higher-Order Logic, LNCS, vol.2283, 2002.

Y. Bertot and P. Castéran, Interactive Theorem Proving and Program DevelopmentCoq'Art: The Calculus of Inductive Constructions, Texts in Theoretical Computer Science. An EATCS Series, 2004.

M. Zhang, F. Mallet, and H. Zhu, An SMT-based approach to the formal analysis of MARTE/CCSL, ICFEM '16, pp.433-449, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01394677

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Sci. Comput. Program, vol.19, issue.2, pp.87-152, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00075711

G. Gentzen, UntersuchungenüberUntersuchungen¨Untersuchungenüber das logische Schließen, 1934.
DOI : 10.1007/bf01201353

A. Platzer, Logical analysis of hybrid systems-proving theorems for complex dynamics, 2010.

C. André and F. Mallet, Specification and verification of time requirements with CCSL and Esterel, LCTES '09, pp.167-176, 2009.

J. Suryadevara, C. C. Seceleanu, F. Mallet, and P. Pettersson, Verifying MARTE/CCSL mode behaviors using UPPAAL, Software Engineering and Formal Methods, vol.8137, pp.1-15, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00866477

Y. Zhang, F. Mallet, and Y. Chen, Timed automata semantics of spatio-temporal consistency language STeC, TASE '14, pp.201-208, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01096687

M. Zhang, F. Dai, and F. Mallet, Periodic scheduling for MARTE/CCSL: Theory and practice, Sci. Comput. Program, vol.154, pp.42-60, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01670450

A. Platzer, A temporal dynamic logic for verifying hybrid system invariants, LFCS '07, pp.457-471, 2007.