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
DOI : 10.1016/0167-6423(91)90001-E

G. Berry, S. Ramesh, and R. K. Shyamasundar, Communicating reactive processes, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, pp.85-98, 1993.
DOI : 10.1145/158511.158526
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.7059

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

G. Berry and E. Sentovich, Multiclock Esterel, CHARME'01, pp.110-125, 2001.
DOI : 10.1007/3-540-44798-9_10

R. Braden, Requirements for Internet Hosts -Application and Support, RFC, vol.1123, 1989.
DOI : 10.17487/rfc1123

S. D. Brookes, C. A. Hoare, and A. W. Roscoe, A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.560-599, 1984.
DOI : 10.1145/828.833

D. Champelovier, X. Clerc, and H. Garavel, Reference Manual of the LOTOS NT to LOTOS Translator, Version 4G, Internal Report, 2009.

X. Clerc, H. Garavel, and D. Thivolle, Présentation du langage SAM d'Airbus Available from TOPCASED forge, Internal Report, 2008.

F. Doucet, M. Menarini, I. H. Krüger, R. K. Gupta, and J. Talpin, A Verification Approach for GALS Integration of Synchronous Components, Electronic Notes in Theoretical Computer Science, vol.146, issue.2, pp.105-131, 2006.
DOI : 10.1016/j.entcs.2005.05.038

H. Garavel, Compilation et vérification de programmes LOTOS, Thèse de Doctorat, 1989.

H. Garavel and H. Hermanns, On Combining Functional Verification and Performance Evaluation Using CADP, FME'02, pp.410-429, 2002.
DOI : 10.1007/3-540-45614-7_23
URL : https://hal.archives-ouvertes.fr/inria-00072096

H. Garavel and F. Lang, SVL: A Scripting Language for Compositional Verification, Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems FORTE'2001, pp.377-392, 2001.
DOI : 10.1007/0-306-47003-9_24
URL : https://hal.archives-ouvertes.fr/inria-00072396

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, CAV'07, pp.158-163, 2007.
DOI : 10.1007/978-3-540-73368-3_18
URL : https://hal.archives-ouvertes.fr/inria-00189021

H. Garavel, P. Turlier, and . Caesar, ADT : un compilateur pour les types abstraits algébriques du langage LOTOS, Actes du Colloque Francophone pour l'Ingénierie des Protocoles CFIP'93, 1993.

A. Girault and C. Ménier, Automatic Production of Globally Asynchronous Locally Synchronous Systems, EMSOFT '02, pp.266-281, 2002.
DOI : 10.1007/3-540-45828-X_20

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The Synchronous Dataflow Programming Language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991.

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

N. Halbwachs and S. Baghdadi, Synchronous Modelling of Asynchronous Systems, EMSOFT '02, pp.240-251, 2002.
DOI : 10.1007/3-540-45828-X_18

N. Halbwachs and L. Mandel, Simulation and Verification of Asynchronous Systems by means of a Synchronous Model, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), pp.3-14, 2006.
DOI : 10.1109/ACSD.2006.24
URL : https://hal.archives-ouvertes.fr/hal-00189567

G. J. Holzmann, The Spin Model Checker -Primer and Reference Manual, 2004.

I. Iec, LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, 1989.

I. Iec, Enhancements to LOTOS (E-LOTOS) International Standard 15437, International Organization for Standardization ? Information Technology, 2001.

J. Paul-le-guernic, J. Talpin, and . Lann, POLYCHRONY for System Design, Journal of Circuits, Systems and Computers, vol.12, issue.03, 2003.
DOI : 10.1142/S0218126603000763

F. Maraninchi and Y. Rémond, Argos: an automaton-based synchronous language, Computer Languages, vol.27, issue.1-3, pp.61-92, 2001.
DOI : 10.1016/S0096-0551(01)00016-9
URL : https://hal.archives-ouvertes.fr/hal-00273055

R. Mateescu and M. Sighireanu, Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Science of Computer Programming, vol.46, issue.3, pp.255-281, 2003.
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/inria-00072755

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, FM'08, number 5014 in LNCS, pp.148-164, 2008.
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312

H. George and . Mealy, A Method for Synthesizing Sequential Circuits, Bell System Technical Journal, vol.34, issue.5, pp.1045-1079, 1955.

R. Milner, Calculi for synchrony and asynchrony, Theoretical Computer Science, vol.25, issue.3, pp.267-310, 1983.
DOI : 10.1016/0304-3975(83)90114-7

M. R. Mousavi, P. L. Guernic, J. Talpin, S. Kumar-shukla, and T. Basten, Modeling and validating globally asynchronous design in synchronous frameworks, Proceedings Design, Automation and Test in Europe Conference and Exhibition, p.10384, 2004.
DOI : 10.1109/DATE.2004.1268877

D. Potop-butucaru and B. Caillaud, Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), pp.131-159, 2007.
DOI : 10.1109/ACSD.2005.10

S. Ramesh, Communicating Reactive State Machines: Design, Model and Implementation, IFAC Workshop on Distributed Computer Control Systems, 1998.

S. Ramesh, S. Sonalkar, V. D. Silva, N. Chandra, and B. Vijayalakshmi, A Toolset for Modelling and Verification of GALS Systems, CAV '04, pp.506-509, 2004.
DOI : 10.1007/978-3-540-27813-9_47

K. Sollins, The TFTP Protocol (Revision 2) RFC 1350, Internet Engineering Task Force, 1992.