G. Behrmann, A. David, K. G. Larsen, O. Möller, P. Pettersson et al., Uppaal: Present and Future, Decision and Control, 2001.

G. Berry, SCADE: Synchronous design and validation of embedded control software. In: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, pp.19-33, 2007.

F. P. Burns, D. Sokolov, and A. Yakovlev, A Structured Visual Approach to GALS Modeling and Verification of Communication Circuits, IEEE Trans. on CAD of Integrated Circuits and Systems, vol.36, issue.6, pp.938-951, 2017.

D. M. Chapiro, Globally-Asynchronous Locally-Synchronous Systems, 1984.

A. Da-silva-simão and A. Petrenko, Generating Complete and Finite Test Suite for ioco: Is It Possible?, EPTCS, vol.141, pp.56-70, 2014.

F. Doucet, M. Menarini, I. H. Krüger, R. K. Gupta, and J. Talpin, A Verification Approach for GALS Integration of Synchronous Components, ENTCS, vol.146, issue.2, pp.105-131, 2006.

A. Faivre, C. Gaston, and P. L. Gall, Symbolic Model Based Testing for Component Oriented Systems, Testing of Software and Communicating Systems, vol.4581, pp.90-106, 2007.

Y. Falcone, J. Fernandez, T. Jéron, H. Marchand, and L. Mounier, More testable properties, STTT, vol.14, issue.4, pp.407-437, 2012.
URL : https://hal.archives-ouvertes.fr/inria-00510018

H. Garavel and F. Lang, SVL: a Scripting Language for Compositional Verification, pp.377-392, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00072396

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, vol.15, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056

H. Garavel, F. Lang, and W. Serwe, From LOTOS to LNT, ModelEd, TestEd, TrustEd -Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol.10500, pp.3-26, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01621670

H. Garavel and D. Thivolle, Verification of GALS Systems by Combining Synchronous Languages and Process Calculi, SPIN 2009, vol.5578, pp.241-260, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00388819

A. Graf-brill and H. Hermanns, Model-Based Testing for Asynchronous Systems, FMICS-AVoCS 2017, vol.10471, pp.66-82, 2017.

P. L. Guernic, J. Talpin, and J. L. Lann, POLYCHRONY for system design, Systems, and Computers, vol.12, issue.3, pp.261-304, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00071871

H. Günther, S. Milius, and O. Möller, On the formal verification of systems of synchronous software components, SAFECOMP 2012, vol.7612, pp.291-304, 2012.

N. Halbwachs, Synchronous Programming of Reactive Systems, 1993.

N. Halbwachs and S. Baghdadi, Synchronous Modelling of Asynchronous Systems, EMSOFT 2002, vol.2491, pp.240-251, 2002.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language Lustre, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.

N. Halbwachs and L. Mandel, Simulation and verification of asynchronous systems by means of a synchronous model, pp.3-14, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00189567

G. J. Holzmann, The SPIN Model Checker: Primer and Reference Manual, 2003.

E. Jahier, N. Halbwachs, and P. Raymond, Engineering functional requirements of reactive systems using synchronous languages, 8th IEEE International Symposium on Industrial Embedded Systems, vol.8, pp.140-149, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00933179

E. Jahier, P. Raymond, and P. Baufreton, Case studies with Lurette V2, STTT, vol.8, issue.6, pp.517-530, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00389838

C. Jard and T. Jéron, Tgv: Theory, principles and algorithms -a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems, STTT, vol.7, issue.4, pp.297-315, 2005.

F. Jebali, Formal Framework for Modelling and Verifying Globally Asynchronous Locally Synchronous Systems, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01679311

F. Jebali, F. Lang, and R. Mateescu, Formal Modelling and Verification of GALS systems using GRL and CADP, FAoC, vol.28, issue.5, pp.767-804, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01290449

F. Lorber, It's about Time -Model-Based Mutation Testing for Synchronous and Asynchronous Timed Systems, 2016.

L. Marsso, R. Mateescu, and W. Serwe, TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation, TACAS 2018, vol.10806, pp.211-228, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01777861

R. Mateescu and H. Garavel, XTL: A Meta-Language and Tool for Temporal Logic Model-Checking, pp.33-42, 1998.

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, FM 2008, vol.5014, pp.148-164, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00315312

R. Milner, Calculi for Synchrony and Asynchrony, Theoretical Computer Science, vol.25, pp.267-310, 1983.

M. R. Mousavi, P. L. Guernic, J. Talpin, S. K. Shukla, and T. Basten, Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks, pp.384-389, 2004.

N. Noroozi, R. Khosravi, M. R. Mousavi, and T. A. Willemse, Synchrony and asynchrony in conformance testing, Software & Systems Modeling, vol.14, issue.1, pp.149-172, 2015.

S. Ramesh, S. Sonalkar, V. Silva, ,. , N. Chandra et al., A Toolset for Modelling and Verification of GALS Systems, CAV 2004, vol.3114, pp.506-509, 2004.

P. Raymond, Y. Roux, and E. Jahier, Lutin: a language for specifying and executing reactive scenarios, EURASIP Journal on Embedded Systems, 2008.

R. N. Taylor, D. L. Levine, and C. D. Kelly, Structural testing of concurrent programs, IEEE Trans. Software Eng, vol.18, issue.3, pp.206-215, 1992.

P. Teehan, M. Greenstreet, and G. Lemieux, A Survey and Taxonomy of GALS Design Styles, IEEE Design Test of Computers, vol.24, issue.5, pp.418-428, 2007.

J. Tretmans, Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation, Computer networks and ISDN systems, vol.29, issue.1, pp.49-79, 1996.