P. Baufreton, SACRES: A Step Ahead in the Development of Critical Avionics Applications, Hybrid Systems: Computation and Control: Second International Workshop, HSCC'99, 1999.
DOI : 10.1007/3-540-48983-5_1

P. Baufreton, Visual notations based on synchronous languages for dynamic validation of gals systems

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, pp.1270-1282, 1991.
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115

A. Benveniste, B. Caillaud, L. Carloni, and A. Sangiovanni-vincentelli, Tag machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, 2005.
DOI : 10.1145/1086228.1086276

A. Benveniste, B. Caillaud, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-vincentelli, Heterogeneous reactive systems modeling, Proceedings of the fourth ACM international conference on Embedded software , EMSOFT '04, 2004.
DOI : 10.1145/1017753.1017790
URL : https://hal.archives-ouvertes.fr/inria-00001058

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, 2003.
DOI : 10.1109/JPROC.2002.805826

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, Embedding synchronous circuits in GALS-based systems, Sophia-Antipolis conference on Micro-Electronics (SAME 98), 1998.

G. Berry and E. Sentovich, Multiclock Esterel In Correct Hardware Design and Verification Methods, CHARME'01, 2001.

G. Berry, R. K. Shyamasundar, and S. Ramesh, Communicating reactive processes, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, 1993.
DOI : 10.1145/158511.158526

P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis et al., From Simulink to Scade/Lustre to TTA: A layered approach for distributed embedded applications, LCTES 2003, 2003.

P. Caspi, A. Girault, and D. Pilaud, Automatic distribution of reactive systems for asynchronous networks of processors, IEEE Transactions on Software Engineering, vol.25, issue.3, pp.416-427, 1999.
DOI : 10.1109/32.798329
URL : https://hal.archives-ouvertes.fr/inria-00073196

P. Caspi, C. Mazuet, and N. R. Paligot, About the design of distributed control systems, the quasi-synchronous approach [15] P. Caspi and R. Salem. Threshold and bounded-delay voting in critical control systems, SAFECOMP'01, 1926.

D. 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, FMGALS'2005, 2005.
DOI : 10.1016/j.entcs.2005.05.038

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

A. Gamatié and T. Gautier, Synchronous modeling of avionics applications using the signal language, The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings., pp.144-151, 2003.
DOI : 10.1109/RTTAS.2003.1203046

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

N. Halbwachs and S. Baghdadi, Synchronous modeling of asynchronous systems, EMSOFT'02, 2002.

N. Halbwachs, F. Lagnier, and C. , Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE, IEEE Transactions on Software Engineering, vol.18, issue.9, pp.785-793, 1992.
DOI : 10.1109/32.159839

P. , L. Guernic, J. Talpin, and J. Lann, Polychrony for system design, Journal for Circuits, Systems and Computers , Special Issue on Application Specific Hardware Design, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00730480

R. Milner, On relating synchrony and asynchrony, 1981.

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

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), 2005.
DOI : 10.1109/ACSD.2005.10

N. Scaife and P. Caspi, Integrating model-based design and preemptive scheduling in mixed time-and event-triggered systems, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004., 2004.
DOI : 10.1109/EMRTS.2004.1311013