D. M. Chapiro, Globally-asynchronous Locally-synchronous Systems, 1985.

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

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

L. Madani, V. Papailiopoulou, and I. Parissis, Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller, 2010 Third International Conference on Software Testing, Verification and Validation, pp.489-497, 2010.
DOI : 10.1109/ICST.2010.21
URL : https://hal.archives-ouvertes.fr/hal-00549886

P. Raymond, X. Nicollin, N. Halbwachs, and D. Weber, Automatic testing of reactive systems, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279), pp.200-209, 1998.
DOI : 10.1109/REAL.1998.739746