A. Benveniste, P. Caspi, P. Le-guernic, H. Marchand, J. Talpin et al., A Protocol for Loosely Time-Triggered Architectures, Proc. of Embedded Software, 2002.
DOI : 10.1007/3-540-45828-X_19
URL : https://hal.archives-ouvertes.fr/inria-00526261

L. P. Carloni and A. L. Sangiovanni-vincentelli, A Framework for Modeling the Distributed Deployment of Synchronous Designs, Formal Methods in System Design, vol.17, issue.12, pp.93-110, 2006.
DOI : 10.1007/s10703-006-7842-x

D. M. Chapiro, Globally-asynchronous locally-synchronous systems, 1984.

F. Doucet, M. Menarini, I. H. Krüger, R. 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, Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular, Electronic Notes in Theoretical Computer Science, vol.209, 2008.
DOI : 10.1016/j.entcs.2008.04.009
URL : https://hal.archives-ouvertes.fr/inria-00191141

H. Garavel, F. Lang, and R. Mateescu, Compiler Construction Using LOTOS NT, Proc. of CC, 2002.
DOI : 10.1007/3-540-45937-5_3

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-107, 2013.
DOI : 10.1007/s10009-012-0244-z
URL : https://hal.archives-ouvertes.fr/hal-00715056

H. Garavel and D. Thivolle, Verification of GALS Systems by Combining Synchronous Languages and Process Calculi, Proc. of SPIN, 2009.
DOI : 10.1007/978-3-540-27813-9_47
URL : https://hal.archives-ouvertes.fr/inria-00388819

A. Girault and C. Ménier, Automatic Production of Globally Asynchronous Locally Synchronous Systems, Embedded Software, 2002.
DOI : 10.1007/3-540-45828-X_20

N. Halbwachs and S. Baghdadi, Synchronous Modelling of Asynchronous Systems, Proc. of Embedded Software, 2002.
DOI : 10.1007/3-540-45828-X_18

F. Jebali, F. Lang, and R. Mateescu, GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems, Proc. of ICFEM, 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

A. Malik, A. Girault, and Z. Salcic, Formal semantics, compilation and execution of the GALS programming language DSystemJ. Parallel and Distributed Systems, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00777730

R. Mateescu and D. Thivolle, A model checking language for concurrent valuepassing systems, Proc. of FM, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00315312

S. P. Miller, M. W. Whalen, D. O-'brien, M. P. Heimdahl, and A. Joshi, A methodology for the design and verification of globally asynchronous/locally synchronous architectures, 2005.

M. R. Mousavi, P. Le-guernic, J. P. Talpin, S. K. Shukla, and T. Basten, Modeling and validating globally asynchronous design in synchronous frameworks, Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004.
DOI : 10.1109/DATE.2004.1268877

J. Proença, D. Clarke, E. D. Vink, and F. Arbab, Dreams, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, 2012.
DOI : 10.1145/2245276.2232017

S. Ramesh, S. Sonalkar, V. Dsilva, N. Chandra, and B. Vijayalakshmi, A Toolset for Modelling and Verification of GALS Systems, Proc. of CAV, 2004.
DOI : 10.1007/978-3-540-27813-9_47

M. Singh and M. Theobald, Generalized latency-insensitive systems for single-clock and multi-clock architectures, Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004.
DOI : 10.1109/DATE.2004.1269025

H. Yu, Y. Ma, Y. Glouche, J. Talpin, L. Besnard et al., System-level co-simulation of integrated avionics using polychrony, Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11, 2011.
DOI : 10.1145/1982185.1982263
URL : https://hal.archives-ouvertes.fr/inria-00536907