L. Alfaro and T. A. Henzinger, Interface automata, 9 th Annual Aymposium on Foundations of Software Engineering, FSE, pp.109-120, 2001.

A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004.
DOI : 10.1109/TDSC.2004.2

R. Bastide, O. Sy, and P. A. Palanque, Formal Specification and Prototyping of CORBA Systems, ECOOP '99: Proceedings of the 13th European Conference on Object-Oriented Programming, pp.474-494, 1999.
DOI : 10.1007/3-540-48743-3_22

P. Behm, P. Benoit, and J. M. Meynadier, M??t??or: A Successful Application of B in a Large Project, Integrated Formal Methods, IFM99, pp.369-387, 1999.
DOI : 10.1007/3-540-48119-2_22

D. Bert, S. Boulmé, M. Potet, A. Requet, and L. Voisin, Adaptable Translator of B Specifications to Embedded C Programs, Integrated Formal Methods, IFM'03, pp.94-113, 2003.
DOI : 10.1007/978-3-540-45236-2_7

A. Beugnard, J. Jézéquel, N. Plouzeau, and D. Watkins, Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999.
DOI : 10.1109/2.774917

A. Braccalia, A. Brogi, and F. Turini, Coordinating Interaction Patterns, Symposium on Applied Computing, 2001.

A. Bracciali, A. Brogi, and C. Canal, A formal approach to component adaptation, Journal of Systems and Software, 2005.
DOI : 10.1016/j.jss.2003.05.007

C. Canal, L. Fuentes, E. Pimentel, J. Troya, and A. Vallecillo, Extending CORBA Interfaces with Protocols, The Computer Journal, vol.44, issue.5, pp.448-462, 2001.
DOI : 10.1093/comjnl/44.5.448

J. Cheesman and J. Daniels, UML Components ? A Simple Process for Specifying Component- Based Software, 2001.

S. Chouali, M. Heisel, and J. Souquì-eres, Proving Component Interoperability with B Refinement, Electronic Notes in Theoretical Computer Science, vol.160, pp.157-172, 2006.
DOI : 10.1016/j.entcs.2006.05.021
URL : https://hal.archives-ouvertes.fr/hal-00097553

. Clearsy, Available at http://www, 2004.

P. A. De-guerra, C. Mary, F. Rubira, A. Romanovsky, and R. De-lemos, A fault-tolerant software architecture for COTS-based software systems, 2003.

C. Fetzer and Z. Xiao, HEALERS: A Toolkit for Enhancing the Robutness and Security of Existing Wrappers, Proc. International Conference on Dependable Systems and Networks, 2003.

D. Garlan, R. Allen, and J. Ockerbloom, Architectural mismatch: why reuse is so hard, IEEE Software, vol.12, issue.6, pp.17-26, 1999.
DOI : 10.1109/52.469757

J. Han, A comprehensive interface definition framework for software components, Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240), pp.110-117, 1998.
DOI : 10.1109/APSEC.1998.733601

D. Hatebur, M. Heisel, and J. Souquì-eres, A Method for Component-Based Software and System Development, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06), pp.72-80, 2006.
DOI : 10.1109/EUROMICRO.2006.9
URL : https://hal.archives-ouvertes.fr/hal-00097571

M. Heisel and J. Souquì-eres, Adding Features to Component-Based Systems, Objects, Agents and Features, pp.137-153, 2004.
DOI : 10.1007/978-3-540-25930-5_9
URL : https://hal.archives-ouvertes.fr/inria-00099769

H. Ledang and J. Souquì-eres, Modeling class operations in B: Application to UML behavioral diagrams, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2001.
DOI : 10.1109/ASE.2001.989815
URL : https://hal.archives-ouvertes.fr/inria-00107871

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

E. Meyer and J. Souquì-eres, A Systematic Approach to Transform OMT Diagrams to a B Specification, Proceedings of the Formal Methods Conference, pp.875-895, 1999.
DOI : 10.1007/3-540-48119-2_48
URL : https://hal.archives-ouvertes.fr/inria-00098957

I. Mouakher, A. Lanoix, and J. Souquì-eres, Component adaptation: Specification and verification, 11th International Workshop on Component Oriented Programming (WCOP'06), pp.23-30, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00074477

P. Popov, L. Strigini, S. Riddle, and A. Romanovsky, Protective Wrapping of OTS components, 4th ICSE WWorkshop on Component-Based Software Engineering: Component Certification and System Prediction, 2001.

M. Rakic and N. Medvidovic, Increasing the confidence in off-the-shelf components, Symposium on Software Reusability, pp.11-18, 2001.

R. H. Reussner, H. W. Schmidt, and I. H. Poernomo, Reasoning about Software Architectures with Contractually Specified Components, Component-Based Software Quality: Methods and Techniques, 2003.
DOI : 10.1007/978-3-540-45064-1_14

R. Roshandel and N. Medvidovic, Multi-view Software Component Modeling for Dependability, Architecting Dependable Systems II, pp.286-306, 2004.
DOI : 10.1007/978-3-540-25939-8_13

H. W. Schmidt and R. H. Reussner, Generating adapters fo concurrent component protocol synchronisation, Proceeding of the 5th IFIP International conference on Formal Methods for Open Object-based Distributed Systems, 2002.

A. Vallacillo, J. Hernandez, and M. Troya, Object Interoperability, Object Oriented Technology: ECOOP'99 Workshop Reader, pp.1-21, 1999.
DOI : 10.1007/3-540-46589-8_1

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

A. M. Zaremski and J. M. Wing, Specification matching of software components, ACM Transactions on Software Engineering and Methodology, vol.6, issue.4, pp.333-369, 1997.
DOI : 10.1145/261640.261641