M. France, Modèles comportementaux pour l'avionique modulaire intégrée In: Bibliographie Proceeding of the 1er Congrès plurisectoriel " Logiciel Temps Réel Embarqué, 2002.

. Marchand, The SIGNAL declarative synchronous language: controller synthesis & systems/Architecture design, Proceedings of the 40 th IEEE conference on Decision and Control, pp.3284-3289, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00526268

S. Technologies, Testability of Software Components, IEEE Transactions on Software Engineering, vol.17, pp.553-564, 1991.

. Granger, Static analysis of arithmetical congruences, International Journal of Computer Mathematics, vol.30, issue.3-4, pp.165-190, 1989.
DOI : 10.1145/29873.29875

[. Ieee, IEEE Standard Glossary of Software Engineering Terminology, 1990.

[. Iso, ISO/IEC 9126-1:2001 Software engineering --Product quality --Part 1: Quality model " . International Organization for Standardization, 2006.

. Kleer, A perspective on assumption-based truth maintenance, Artificial Intelligence, vol.59, issue.1-2, pp.1-2, 1993.
DOI : 10.1016/0004-3702(93)90171-7

L. Traon, Towards a unified approach to the testability of co-designed systems, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95, pp.278-285, 1995.
DOI : 10.1109/ISSRE.1995.497668

L. Traon, Analyse conjointe logiciel/matériel de la testabilité de systèmes flot de données, Thèse, Institut National Polytechnique de Grenoble, 1997.

T. J. Mccabe, A Complexity Measure, IEEE Transactions on Software Engineering, vol.2, issue.4, pp.308-320, 1976.
DOI : 10.1109/TSE.1976.233837

(. T. Ost86-]-ostrand and W. J. , Design for a Tool to Manage Specification- Based Testing, Workshop on Software Testing, pp.41-50, 1986.

. Ovi80 and (. E. Oviedo, Control flow, data flow and program complexity, Proceedings of the 4 th International Computer Software and Applications Conference, pp.146-152, 1980.

. Par03 and . Parkinson, Safety-Critical Software Development for Integrated Modular Avionics [Pro] Prover Technology Prover Product " . http://www.prover.com/products Selecting software test data using data flow information, IEEE Transactions on Software Engineering, vol.11, issue.4, pp.367-375, 1985.

[. Sae, Arp4754: certification considerations for highly-integrated or complex systems, 1996.

. Sar98 and . Sargent, Verification and validation of simulation models, Proceedings of the 30th conference on Winter simulation, pp.121-130, 1998.

(. R. Shannon, Systems Simulation: The Art and Science, IEEE Transactions on Systems, Man, and Cybernetics, vol.6, issue.10, 1975.
DOI : 10.1109/TSMC.1976.4309432

]. Sim09, . Scade-suite, and . Simulator, http://www.esterel-technologies.com/products/scade-suite/simulation, 2009.

. Tai, A program complexity metric based on data flow information in control graphs, Proceedings of the 7 th international conference on Software engineering, pp.239-248, 1984.