A. [. Benveniste, P. Bouillard, and . Caspi, A Unifying View of Loosely Time-triggered Architectures Preservation of LTL properties in desynchronized systems, Proceedings of the Tenth ACM International Conference on Embedded Software, EMSOFT '10 MEMOCODE, pp.189-198, 2010.

A. Benveniste, B. Caillaud, and P. L. Guernic, From Synchrony to Asynchrony, CONCUR'99, pp.162-177, 1999.
DOI : 10.1007/3-540-48320-9_13
URL : https://hal.archives-ouvertes.fr/inria-00073032

J. Backes, D. D. Cofer, S. P. Miller, M. [. Whalen, P. C. Bae et al., Requirements Analysis of a Quad-Redundant Flight Control System. CoRR, abs/1502.03343 Definition, Semantics, and Analysis of Multirate Synchronous AADL Xeve, an Esterel verification environment Communicating Reactive Processes, FM 2014 Proc. of POPL Sentovich. Multiclock Esterel Proc. of CHARME, pp.94-109, 1993.

]. D. Ccg-+-14, X. Champelovier, H. Clerc, Y. Garavel, V. Guerte et al., Reference Manual of the LNT to LOTOS Translator (Version 6.1) INRIA Globally-Asynchronous Locally-Synchronous Systems About the Design of Distributed Control Systems: The Quasi-Synchronous Approach, LNCS, vol.131, issue.2187, pp.215-226, 1984.

]. F. Dmk-+-06, M. Doucet, I. H. Menarini, R. Krüger, J. Gupta et al., A verification approach for GALS integration of synchronous components, ENTCS, vol.146, issue.2, pp.105-131, 2006.

H. Garavel, Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular, Electronic Notes in Theoretical Computer Science, vol.209, pp.149-164, 2008.
DOI : 10.1016/j.entcs.2008.04.009
URL : https://hal.archives-ouvertes.fr/inria-00191141

A. Gamatié and T. Gautier, The SIGNAL approach to the design of system architectures, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings., pp.80-88, 2003.
DOI : 10.1109/ECBS.2003.1194786

M. K. Ganai, A. [. Gupta, T. Gamatié, and . Gautier, Efficient BMC for multi-clock systems with clocked specifications The signal synchronous multiclock approach to the design of distributed embedded systems, Design Automation Conference, pp.310-315641, 2007.

Y. Glouche, P. Le-guernic, J. Talpin, and T. Gautier, A Boolean Algebra of Contracts for Assume-guarantee Reasoning, Proceedings of the 6th International Workshop on Formal Aspects of Component Software, pp.111-127, 2009.
DOI : 10.1016/j.entcs.2010.05.007
URL : https://hal.archives-ouvertes.fr/inria-00292870

F. [. Garavel, . Langglm02-]-h, F. Garavel, R. Lang, and . Mateescu, SVL: a scripting language for compositional verification Compiler Construction using LOTOS NT, Formal Techniques for Networked and Distributed Systems, IFIP Conference Proceedings Proceedings of the 11th International Conference on Compiler Construction (CC'02)GLM15] H. Garavel, F. Lang, and R. Mateescu. Compositional Verification of Asynchronous Concurrent Systems Using CADP. Acta Informatica, pp.377-392, 2002.

H. Garavel, F. Lang, R. Mateescu, W. [. Serwe, D. Garavel et al., CADP 2011: a toolbox for the construction and analysis of distributed processes, Hal13] N. Halbwachs. Synchronous programming of reactive systems Science & Business Media, 2013. [HB02] N. Halbwachs and S. Baghdadi. Synchronous modeling of asynchronous systems EMSOFT'02, pp.89-107, 2001.
DOI : 10.1007/s10009-012-0244-z
URL : https://hal.archives-ouvertes.fr/hal-00715056

]. N. Hlr93a, F. Halbwachs, P. Lagnier, and . Raymond, Synchronous Observers and the Verification of Reactive Systems, AMAST'93, Twente, pp.83-96, 1993.

F. Jebali, F. Lang, R. Mateescuhlr93b, ]. N. Halbwachs, F. Lagnier et al., Synchronous observers and the verification of reactive systems Workshops in Computing Simulation and verification of asynchronous systems by means of a synchronous model The model checker SPIN, AMAST'93 Proc. of ACSD Enhancements to LOTOS (E-LOTOS). International Standard 15437:2001, International Organization for Standardization ? Information Technology, pp.3-14, 1993.

F. Jebali, F. Lang, and R. Mateescu, GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems, Proc. of ICFEM, pp.219-234, 2014.
DOI : 10.1007/978-3-319-11737-9_15
URL : https://hal.archives-ouvertes.fr/hal-01082348

F. Jebali, F. Lang, and R. Mateescu, GRL: A specification language for Globally Asynchronous Locally Synchronous systems (syntax and formal semantics), 2014.
URL : https://hal.archives-ouvertes.fr/hal-00983711

P. , L. Guernic, J. Talpin, J. Le-lannmil82, and ]. R. Milner, Polychrony for system design A Calculus of Communicating Systems [Mil83] R. Milner. Calculi for synchrony and asynchrony. Theoretical computer science, Mil89] R. Milner. Communication and concurrency, pp.261-303267, 1982.

A. Malik, Z. Salcic, P. S. Roop, and A. Girault, SystemJ: A GALS language for system level design A model checking language for concurrent value-passing systems, Proc. of FM, pp.317-344, 2008.

. P. Mwo-+-05-]-s, M. W. Miller, D. Whalen, M. P. O-'brien, A. Heimdahl et al., A methodology for the design and verification of globally asynchronous/locally synchronous architectures. National Aeronautics and Space Administration, 2005.

D. Potop-butucaru, B. Caillaud, and A. Benveniste, Concurrency in synchronous systems, FMSD, vol.28, issue.2, pp.111-130, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00124252

D. Potop-butucaru, R. De-simone, Y. Sorel, and J. Talpin, From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations, 2009 Ninth International Conference on Application of Concurrency to System Design, pp.42-51, 1981.
DOI : 10.1109/ACSD.2009.23

P. Heejong, M. Avinash, and S. Zoran, Compiling and Verifying SC-SystemJ Programs for Safety-critical Reactive Systems Communicating reactive state machines: Design, model and implementation, IFAC Workshop on Distributed Computer Control Systems, pp.251-282, 1998.

S. Ramesh, S. Sonalkar, V. Dsilva, N. Chandra, R. et al., A Toolset for Modelling and Verification of GALS Systems, Proc. of CAVSme13] G. Smeding. Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems. Theses, pp.506-509, 2004.
DOI : 10.1007/978-3-540-27813-9_47

A. Van-deursen, P. Klint, J. J. Visser-]-r, W. P. Van-glabbeek, and . Weijland, Domain-specific languages, ACM SIGPLAN Notices, vol.35, issue.6, pp.26-36, 1996.
DOI : 10.1145/352029.352035