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, CCCT'04 Computing, Communications and Control Technologies, 2004.

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

J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, Ptolemy: A mixed-paradigm simulation/prototyping platform in c++, C++ At Work Conference, 1991.

P. Caspi, C. Mazuet, and N. R. Paligot, About the Design of Distributed Control Systems: The Quasi-Synchronous Approach, SAFECOMP'01, 2001.
DOI : 10.1007/3-540-45416-0_21

P. Caspi, C. Mazuet, R. Salem, and D. Weber, Formal design of distributed control systems with Lustre, Proc. Safecomp'99, 1999.

P. H. Feiler, D. P. Gluch, J. J. Hudak, and B. A. Lewis, Embedded system architecture analysis using SAE AADL, 2004.

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 P. Raymond, Synchronous Observers and the Verification of Reactive Systems, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93 Workshops in Computing, 1993.
DOI : 10.1007/978-1-4471-3227-1_8

N. Halbwachs and L. Mandel, Simulation and Verification of Asynchronous Systems by means of a Synchronous Model, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), 2006.
DOI : 10.1109/ACSD.2006.24
URL : https://hal.archives-ouvertes.fr/hal-00189567

E. Jahier, P. Raymond, and P. Baufreton, Case studies with Lurette V2, Special Section on Leveraging Applications of Formal Methods, 2006.
DOI : 10.1007/s10009-006-0023-9
URL : https://hal.archives-ouvertes.fr/hal-00389838

H. Kopetz, The time-triggered architecture, ISORC'98, 1998.

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

C. L. Liu and J. Layland, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973.
DOI : 10.1145/321738.321743

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

C. Ratel, N. Halbwachs, and P. Raymond, Programming and verifying critical systems by means of the synchronous data-flow programming language lustre, ACM-SIGSOFT'91 Conference on Software for Critical Systems, 1991.

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

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