C. André, Representation and analysis of reactive behaviors: A synchronous approach, Computational Engineering in Systems Applications (CESA), pp.19-29, 1996.

C. André, Computing SyncCharts Reactions, Electronic Notes in Theoretical Computer Science, vol.88, pp.3-19, 2004.
DOI : 10.1016/j.entcs.2003.05.007

C. André, F. Mallet, and R. De-simone, Modeling Time(s), MoDELS, pp.559-573, 2007.
DOI : 10.1007/978-3-540-75209-7_38

J. Beauvais, E. Rutten, T. Gautier, R. Houdebine, P. L. Guernic et al., Modeling statecharts and activitycharts as signal equations, ACM Transactions on Software Engineering and Methodology, vol.10, issue.4, pp.397-451, 2001.
DOI : 10.1145/384189.384191

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages twelve years later, Proceedings of the IEEE, pp.64-83, 2003.

A. Benveniste, P. L. Guernic, and C. Jacquemot, 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

G. Berry, The foundations of Esterel, Proof, Language and Interaction: Essays in Honour of Robin Milner, 2000.

F. Boulanger and C. Hardebolle, Simulation of multi-formalism models with modhelx, ICST, pp.318-327, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00289188

A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau et al., Nsynchronous kahn networks: a relaxed model of synchrony for real-time systems, POPL, pp.180-193, 2006.

W. Damm, B. Josko, A. Pnueli, and A. Votintseva, A discrete-time UML semantics for concurrency and communication in safety-critical applications, Science of Computer Programming, vol.55, issue.1-3, pp.1-381, 2005.
DOI : 10.1016/j.scico.2004.05.012

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. L. et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829

N. Halbwachs, Synchronous Programming of Reactive Systems, 1993.

L. Lamport, 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

A. , L. Guennec, and B. Dion, Bridging UML and safety-critical software development environments, Int. Conf. on Embedded and Real-Time Software, ERTS, 2006.

E. A. Lee and A. L. Sangiovanni-vincentelli, 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

X. Li, C. Meng, P. Yu, J. Zhao, and G. Zheng, Timing analysis of UML activity diagrams, Lecture Notes in Computer Science, vol.2185, pp.62-75, 2001.

F. Mallet and C. André, On the Semantics of UML/MARTE Clock Constraints, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.305-312, 2009.
DOI : 10.1109/ISORC.2009.27

URL : https://hal.archives-ouvertes.fr/inria-00383279

K. L. Mcmillan, Interpolation and SAT-Based Model Checking, Lecture Notes in Computer Science, vol.2725, pp.1-13, 2003.
DOI : 10.1007/978-3-540-45069-6_1

P. Merlin, A Study of the Recoverability of, 1974.

C. A. Petri, Concurrency Theory, Petri Nets: Central Models and their properties, pp.4-24, 1987.
DOI : 10.1007/978-3-540-47919-2_2

W. Reisig, Petri nets: an introduction. Monograph on Theoretical Computer Science, 1985.

M. Sheeran, S. Singh, and G. Stålmarck, Checking Safety Properties Using Induction and a SAT-Solver, Lecture Notes in Computer Science, pp.108-125, 1954.
DOI : 10.1007/3-540-40922-X_8

H. Störrle, Semantics and Verification of Data Flow in UML 2.0 Activities, Electronic Notes in Theoretical Computer Science, vol.127, issue.4, pp.35-52, 2005.
DOI : 10.1016/j.entcs.2004.08.046

T. Weilkiens, Systems Engineering with SysML/UML: Modeling, Analysis, Design. The MK, 2008.

L. Zaffalon, Programmation synchrone de systèmes réactifs avec Esterel et les Sync- Charts, Presses Polytechniques et Universitaires Romandes, Lausane (CH), 2005.

I. Unité-de-recherche-inria-sophia and . Antipolis, route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4, 2004.

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt, Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399