A. Benveniste, Safety critical embedded systems: the sacres approach In Formal techniques in Real-Time and Fault Tolerant Systems, FTRTFT'98 school, 1998.

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

A. Benveniste, B. Caillaud, and P. L. Guernic, Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation, Information and Computation, pp.125-171, 2000.
DOI : 10.1006/inco.2000.9999

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

F. Besson, T. Jensen, and J. Talpin, Timed polyhedra analysis for synchronous languages, Proceedings of the 10th International Conference on Concurrency Theory (CON- CUR'99), 1999.
DOI : 10.1007/3-540-48294-6_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.211.5452

P. Clements, A survey of architecture description languages, Proceedings of the 8th International Workshop on Software Specification and Design, 1996.
DOI : 10.1109/IWSSD.1996.501143

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

T. Gautier and P. L. Guernic, Code generation in the SACRES project, Proceedings of the Safety-critical Systems Symposium , SSS'99, 1999.
DOI : 10.1007/978-1-4471-0823-8_9
URL : https://hal.archives-ouvertes.fr/hal-00543824

D. Goshen-meskin, V. Gafni, and M. Winokur, 6.5.4 SafeAir - An Integrated Development Environment and Methodology, INCOSE International Symposium, vol.11, issue.1, 2001.
DOI : 10.1002/j.2334-5837.2001.tb02373.x

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

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

M. L. Borgne, H. Marchand, E. Rutten, and M. Samaan, Formal verification of Signal programs: Application to a power transformer station controller, Science of Computer Programming, pp.85-104, 2001.
DOI : 10.1007/BFb0014322
URL : https://hal.archives-ouvertes.fr/hal-00544301

]. 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

T. Nelson, D. Cowan, and P. Alencar, Supporting Formal Verification of Crosscutting Concerns, Third International Conference, pp.271-285, 2001.
DOI : 10.1007/3-540-45429-2_12

M. Object and . Group, Omg unified modeling language specification version 1.4, 2001.