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, P. L. Guernic, and C. Jacquemot, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, pp.103-149, 1991.
DOI : 10.1016/0167-6423(91)90001-E

E. Closse, M. Poize, J. Pulou, J. Sifakis, P. Venier et al., TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems?, proc. of Computer Aided Verification, 2001.
DOI : 10.1007/3-540-44585-4_39

A. E. Committee, Avionics application software standard interface, ARINC Specification 653, 1997.

A. E. Committee, Design guidance for integrated modular avionics, In ARINC Report, vol.6511, 1997.

D. Engler, D. Andrews, and D. Lowenthal, Efficient support for fine-grain parallelism, tech. report, 1993.

A. Gamatié and T. Gautier, Modeling of modular avionics architectures using the synchronous language SIGNAL. In proc. of the WIP session, 14th Euromicro Conference on Real Time Systems, pp.25-28, 2002.

D. Goshen-meskin, V. Gafni, and M. Winokur, 6.5.4 SafeAir - An Integrated Development Environment and Methodology, proc. of INCOSE'01, 2001.
DOI : 10.1002/j.2334-5837.2001.tb02373.x

N. Halbwachs, Synchronous programming of reactive systems, 1993.

T. A. Henzinger, B. Horowitz, and C. M. Kirsch, Embedded control systems development with Giotto, In proc. of LCTES. ACM SIGPLAN Notices, 2001.

A. Kountouris and P. L. Guernic, Profiling of SIGNAL programs and its application in the timing evaluation of design implementations, IEE Colloquium on Hardware-Software Cosynthesis for Reconfigurable Systems, pp.6-7, 1996.
DOI : 10.1049/ic:19960225
URL : https://hal.archives-ouvertes.fr/hal-00544253

P. , L. Guernic, T. Gautier, M. L. Borgne, and C. L. Maire, Programming real-time applications with signal. In proc, pp.1321-1336, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075114

E. A. Lee, Overview of the Ptolemy project, tech. report UBC, 2001.

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of discrete-event controllers based on the signal environment, Discrete Event Dynamic System: Theory and Applications, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

A. Pnueli, Embedded Systems: Challenges in Specification and Verification, proc. of 2002 Conference on Embedded Software, pp.252-265, 2002.
DOI : 10.1007/3-540-45828-X_1

J. Rushby, Partitioning in avionics architectures: Requirements , mechanisms, and assurance, tech. report, 1999.

J. Sifakis, Modeling Real-Time Systems ??? Challenges and Work Directions, EMSOFT'01, Tahoe City. Lecture Notes in Computer Science 2211, 2001.
DOI : 10.1007/3-540-45449-7_26

S. Vestal, MetaH support for real-time multi-processor avionics, Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems, 1997.
DOI : 10.1109/WPDRTS.1997.637858