W. Damm, Embedded system development for automotive applications, Proceedings of the 6th ACM & IEEE International conference on Embedded software , EMSOFT '06, p.1, 2006.
DOI : 10.1145/1176887.1176888

H. Butz, The Airbus approach to open Integrated Modular Avionics (IMA): technology, functions, industrial processes and future development road map, International Workshop on Aircraft System Technologies, 2007.

A. Sangiovanni-vincentelli, Reasoning about the trends and challenges of system level design, Proc. of the IEEE, pp.467-506, 2007.

W. Damm, Controlling Speculative Design Processes Using Rich Component Models, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), pp.118-119, 2005.
DOI : 10.1109/ACSD.2005.35

T. A. Henzinger, The theory of hybrid automata, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.278-292, 1996.
DOI : 10.1109/LICS.1996.561342

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279

D. L. Dill, Trace Theory for Automatic Hierarchical Verification of Speed- Independent Circuits, ser, ACM Distinguished Dissertations, 1989.

E. S. Wolf, Hierarchical models of synchronous circuits for formal verification and substitution, 1995.

L. De-alfaro and T. A. Henzinger, Interface automata, Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering, pp.109-120, 2001.

R. Negulescu, Process spaces and the formal verification of asynchronous circuits, Canada, 1998.

R. Passerone, Semantic foundations for heterogeneous systems, 2004.

J. R. Burch, Trace algebra for automatic verification of real-time concurrent systems, 1992.

S. D. Brookes, C. A. Hoare, and A. W. Roscoe, A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.560-599, 1984.
DOI : 10.1145/828.833

J. Engelfriet, Determinancy ??? (observation equivalence = trace equivalence), Theoretical Computer Science, vol.36, pp.21-25, 1985.
DOI : 10.1016/0304-3975(85)90028-3
URL : http://doi.org/10.1016/0304-3975(85)90028-3

S. D. Brookes, On the relationship of CCS and CSP, " in 10 th ICALP, ser, Lecture Notes in Computer Science, vol.154, 1983.

I. Unité-de-recherche, I. Rennes, and I. , Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.