C. André, Syntax and semantics of the clock constraint specification language(CCSL), 2009.

J. Gerard and . Holzmann, SPIN Model Checker, 2003.

E. A. Lee and A. Sangiovanni-vincentelli, A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, 1998.
DOI : 10.1109/43.736561

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

C. André, F. Mallet, and . Robert-de-simone, Modeling time(s) Lecture Notes in Computer Science, pp.559-573, 2007.

C. André and F. Mallet, Specification and Verification of Time Requirements with CCSL and Esterel, Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages , compliers, and tools for embedded systems, 2009.

L. Ribeiro, O. Marchi-dos-santos, F. L. , D. , and L. Foss, Correct transformation: From object-based graph grammars to PROMELA, Science of Computer Programming, vol.77, issue.3, 2011.
DOI : 10.1016/j.scico.2011.03.010

URL : http://dx.doi.org/10.1016/j.scico.2011.03.010

R. K. Poddar and P. Bhaduri, Verification of giotto based embedded control systems, Nordic Journal of Computing, 2006.

V. Bertin, E. Closse, M. Poize, J. Pulou, J. Sifakis et al., TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), 2001.
DOI : 10.1109/CDC.2001.980712

F. Mallet, C. André, . Uml-/-marte, and . Ccsl, Signal and Petri nets, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00283077

R. Gascon, F. Mallet, and J. Deantoni, Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL, 2011 Eighteenth International Symposium on Temporal Representation and Reasoning, 2011.
DOI : 10.1109/TIME.2011.10

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

. Bo?-sna?-cki, Implementing Discrete Time in Promela and Spin, International Con-ference on Logic in Computer Science, LIRA '97, 1997.

D. Bo?-sna?-cki and D. Dams, Integrating Real Time into Spin: A Prototype Implementation, Theoretical Computer Science, vol.309, pp.313-355, 2003.

F. David-de-frutos-escrig, C. Rosa-velardo, and . Gregorio-rodríguezrodríguez, New Bisimulation Semantics for Distributed Systems, FORTE 2007, Proceedings, pp.143-159, 2007.
DOI : 10.1016/j.tcs.2006.03.004

R. De-nicola, F. Vaandrager, S. Gnesi, and G. Ristori, An action-based framework for verifying logical and behavioural properties of concurrent systems. Compututer Network and ISDN Systems, pp.761-778, 1993.

B. Jonsson, A. Hussain-khan, and J. Parrow, Implementing a model checking algorithm by adapting existing automated tools Automatic verification methods for finite state systems, pp.179-188, 1990.

R. Martin, J. Neuhäu?er, and . Katoen, Bisimulation and logical preservation for continuous-time markov decision processes. Concur, pp.412-427, 2007.

J. Van-benthem and J. Bergstra, Logic of transition systems, Journal of Logic, Language and Information, vol.18, issue.4, pp.247-283, 1994.
DOI : 10.1007/BF01160018

T. Basten and D. Bo?-sna?-cki, Enhancing partial-order reduction via process clustering, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2001.
DOI : 10.1109/ASE.2001.989810