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. Fidge, Logical time in distributed computing systems, Computer, vol.24, issue.8, pp.24-28, 1991.
DOI : 10.1109/2.84874

G. Berry, The foundations of esterel, Proceedings of Proof, Language , and Interaction, pp.425-454, 2000.

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

F. Boussinot, D. Simone, and R. , The ESTEREL language, Proceedings of the IEEE, pp.1293-1304, 1991.
DOI : 10.1109/5.97299

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

C. André, Syntax and Semantics of the Clock Constraint Specification Language (CCSL) Research Report RR-6925, INRIA, 2009.

T. Barros, R. Boulifa, A. Cansado, L. Henrio, and M. E. , Behavioural models for distributed Fractal components, annals of telecommunications - annales des t??l??communications, vol.5, issue.1, pp.25-43, 2009.
DOI : 10.1007/s12243-008-0069-7

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

A. Arnold and J. Plaice, Finite Transition Systems: Semantics of Communicating Systems, 1994.

R. Ameur-boulifa, L. Henrio, E. Madelaine, and A. Savu, Behavioural semantics for asynchronous components, Journal of Logical and Algebraic Methods in Programming, vol.89, p.2012
DOI : 10.1016/j.jlamp.2017.02.003

URL : https://hal.archives-ouvertes.fr/hal-00761073

Y. Chen, Y. Chen, and M. E. , Timed-pNets: a formal communication behavior model for real-time cps systems, Proceedings of Workshop on Trustworthy Cyber Physical Systems, 2012.

J. Deantoni and F. Mallet, TimeSquare: Treat Your Models with Logical Time
DOI : 10.1007/978-3-642-30561-0_4

URL : https://hal.archives-ouvertes.fr/hal-00688590

R. Milner, Communicating and Mobile Systems: the ?-Calculus, 1999.

A. Cansado and E. Madelaine, Specification and Verification for Grid Component-Based Applications: From Models to Tools, Proceedings of Formal Methods for Components and Objects, pp.180-203, 2009.
DOI : 10.1007/11589976_6

D. Caromel, L. Henrio, and B. Serpette, Asynchronous sequential processes . Information and Computation, pp.459-495, 2008.
DOI : 10.1016/j.ic.2008.12.004

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

R. Bulirsch and J. Stoer, Introduction to Numerical Analysis, 2002.

D. Chapiro, Globally-asynchronous locally-synchronous systems. Dissertation for the Doctoral Degree, 1984.

M. Chiodo, P. Giusto, A. Jurecska, H. C. Hsieh, A. Sangiovanni-vincentelli et al., Hardware-software codesign of embedded systems, IEEE Micro, vol.14, issue.4, pp.26-36, 1994.
DOI : 10.1109/40.296155

G. Berry, C. Nicolas, and M. Serrano, Hiphop, Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients, PLASTIC '11, pp.49-56, 2011.
DOI : 10.1145/2093328.2093337

URL : https://hal.archives-ouvertes.fr/hal-00911782

R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and Y. W. , Uppaal ? a tool suite for automatic verification of real?time systems, Proceedings of Workshop on Verification and Control of Hybrid Systems III, LNCS 1066, pp.232-243, 1995.

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27

URL : https://hal.archives-ouvertes.fr/hal-00375298

S. Graf, S. Gérard, Ø. Haugen, L. Ober, and B. Selic, Modeling and Analysis of Real-Time and Embedded Systems, Lecture Notes in Computer Science, vol.3844, pp.58-66, 2006.
DOI : 10.1007/11663430_7

J. Eidson, E. A. Lee, S. Matic, S. A. Seshia, and J. Zou, Distributed Real-Time Software for Cyber–Physical Systems, Proceedings of the IEEE, vol.100, issue.1, pp.45-59
DOI : 10.1109/JPROC.2011.2161237