F. Achermann and O. Nierstrasz, Applications = Components + Scripts -A Tour of Piccola, Software Architectures and Component Technology, pp.261-292, 2001.

P. Alexander, M. Rangarajan, and P. Baraona, A brief summary of VSPEC, World Congress on Formal Methods, pp.1068-1086, 1999.
DOI : 10.1007/3-540-48118-4_7

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067

C. André, M. Peraldi-frati, and J. Rigault, Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems, Proceedings of 5th International «UML» Conference, number 2460, 2002.
DOI : 10.1007/3-540-45800-X_15

G. Berry, The Foundations of Esterel, Proof, Language, and Interaction, Essays in Honor of Robin Milner, 2000.

B. Bloom and R. Paige, Transformational design and implementation of a new efficient solution to the ready simulation problem, Science of Computer Programming, vol.24, issue.3, pp.189-220, 1996.
DOI : 10.1016/0167-6423(95)00003-B

J. Bosch, P. Molin, M. Mattsson, P. Bengtsson, and M. E. Fayad, Object-Oriented Frameworks: Problems & Experiences Building Application Frameworks: Object Oriented Foundations of Framework Design, 1999.

J. Bosch, C. Szyperski, and W. Weck, 6th Workshop on Component-Oriented Programming, Workshop Reader LNCS, 1964.
DOI : 10.1007/3-540-47853-1_8

S. Butkevich, M. Renedo, G. Baumgartner, and M. Young, Compiler and Tool Support for Debugging Object Protocols, Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.50-59, 2000.

C. Canal, E. Pimentel, and J. M. Troya, Compatibility and inheritance in software architectures, Science of Computer Programming, vol.41, issue.2, pp.105-138, 2001.
DOI : 10.1016/S0167-6423(01)00002-8

J. Cavarroc, S. Moisan, and J. Rigault, Simplifying an Extensible Class Library Interface with OpenC++, OOPSLA'98, Worshop on Reflective Programming in C++ and Java, 1998.

A. Chakrabarti, L. De-alfaro, T. A. Henzinger, and F. Y. Mang, Synchronous and Bidirectional Component Interfaces, Proceeeding CAV, number 2404 in LNCS, pp.214-227, 2002.
DOI : 10.1007/3-540-45657-0_34

S. Chiba, A metaobject protocol for C++, OOPSLA'95, pp.285-299, 1995.
DOI : 10.1145/217839.217868

A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore et al., NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Proceeeding CAV, number 2404 in LNCS, pp.359-364, 2002.
DOI : 10.1007/3-540-45657-0_29

J. , C. Seco, and L. Caires, A Basic Model of Typed Components, LNCS, vol.1850, pp.108-128, 2000.

M. Crubézy, Pilotage de programmes pour le traitement d'images médicales, 1999.

K. Czarnecki and U. Eisenecker, Generative Programming, 2001.
DOI : 10.1007/3-540-36208-8_2

B. Systems, CORBA Component Model Joint Revised Submission, 1999.

R. Forsyth, Expert Systems : Principles and Case Studies, 1989.

E. Gamma, R. Helm, R. Johson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, 1995.

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

D. Harel and O. Kupferman, On object systems and behavioral inheritance, IEEE Transactions on Software Engineering, vol.28, issue.9, 2002.
DOI : 10.1109/TSE.2002.1033228

D. Harel and A. Pnueli, On the development of reactive systems Advanced Study institute on Logics and Models for Verification and Specification of Concurrent Systems, In NATO, 1985.

M. R. Henzinger, T. A. Henzinger, and P. W. Kopke, Computing simulations on finite and infinite graphs, Proceedings of IEEE 36th Annual Foundations of Computer Science, pp.453-462, 1995.
DOI : 10.1109/SFCS.1995.492576

T. A. Henzinger, P. Ho, and H. Wong-toi, HYTECH: a??model checker for hybrid systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.110-122, 1997.
DOI : 10.1007/s100090050008

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997.
DOI : 10.1109/32.588521

R. E. Johnson, Frameworks = (Components + Patterns), CACM, vol.10, issue.40, pp.39-42, 1997.
DOI : 10.1145/262793.262799

R. E. Johnson and B. Foote, Designing Reusable Classes, Journal of Object-Oriented Programming, vol.1, issue.2, pp.22-35, 1988.

G. Kiczales, J. De-rivière, and D. Bobrow, The Art of the Meta-Object Protocol, 1991.

G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes et al., Aspect-oriented programming, p.97, 1997.

B. Liskov and J. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, pp.1811-1841, 1994.
DOI : 10.1145/197320.197383

K. Macmillan, The SMV Model Checker Available from, 2001.

M. Chandy and M. Charpentier, An experiment in program composition and proof. Formal Methods in System Design, pp.7-21, 2002.

F. Maraninchi, Operational and compositional semantics of synchronous automaton compositions, LNCS: Concur, vol.630, 1992.
DOI : 10.1007/BFb0084815

R. Marvie, P. Merle, and J. M. Geib, Towards a Dynamic CORBA Component Platform, 2nd International Symposium on Distributed Object Applications, 2000.

B. Meyer, Object-Oriented Software Construction, 1988.

R. Milner, An algebraic definition of simulation between programs, Proc. Int. Joint Conf. Artificial Intelligence, pp.481-489, 1971.

S. Moisan, Réutilisation et générateurs de systèmes à base de connaissances : le framework BLOCKS, TSI, vol.20, issue.4, pp.529-553, 2001.

S. Moisan, A. Ressouche, and J. Rigault, BLOCKS, a Component Framework with Checking Facilities for Knowledge-Based Systems. Informatica, Special Issue on Component Based Software Development, pp.501-507, 2001.

O. Nierstrasz, Object-Oriented Software Composition, chapter Regular Types for Active Objects, pp.99-121, 1995.

F. Plasil and S. Visnovsky, Behavior protocols for software components, IEEE Transactions on Software Engineering, vol.28, issue.11, 2002.
DOI : 10.1109/TSE.2002.1049404

M. Rangarajan and P. Alexander, Analysis of Component-Based Systems -An Automated Theorem Proving Approach, Specification and Verification of Component-Based Systems (SAVCBS'2001) Workshop at OOPSLA'2001, 2001.

J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, 1999.

I. Ryl, M. Clerbout, and A. Bailly, A Component Oriented Notation for Behavioral Specification and Validation, Specification and Verification of Component-Based Systems (SAVCBS'2001) Workshop at OOPSLA'2001, 2001.

B. Selic and J. Rumbaugh, Using UML for modeling complex real-time systems, 1998.
DOI : 10.1007/BFb0057795

C. Szyperski, Component Software -Beyond Object-Oriented Programming, 1998.

C. Szyperski, J. Bosch, and W. Weck, Component-Oriented Programming Workshop, ECOOP'99 Workshop Reader, 1999.

L. Tan and R. Cleaveland, Simulation Revisited, Proceedings TACAS 2001, number 2031 in LNCS, pp.480-495, 2001.
DOI : 10.1007/3-540-45319-9_33

D. M. Yellin and R. E. Strom, Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems, vol.19, issue.2, pp.292-333, 1997.
DOI : 10.1145/244795.244801

I. Unité-de-recherche-inria-sophia and . Antipolis, route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4, 2004.

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 Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes 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

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399