C. Szyperski, Component Software, 1999.

S. Chouali and J. Souquì-eres, Verifying the compatibility of component interfaces using the B formal method, International Conference on Software Engineering Research and Practice, 2005.

J. R. Abrial, The B Book, 1996.
DOI : 10.1017/CBO9780511624162

S. Chouali, M. Heisel, and J. Souquì-eres, Proving Component Interoperability with B Refinement, International Worshop on Formal Aspects on Component Software, pp.915-920, 2005.
DOI : 10.1016/j.entcs.2006.05.021
URL : https://hal.archives-ouvertes.fr/hal-00097553

I. Mouakher, A. Lanoix, and J. Souquì-eres, Component Adaptation: Specification and Verification, Proc. of the 11th Int. Workshop on Component Oriented Programming, pp.23-30, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00074477

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

H. Ledang and J. Souquì-eres, Contributions for Modelling UML State-Charts in B, Third International Conference on Integrated Formal Methods -IFM'2002, 2002.
DOI : 10.1007/3-540-47884-1_7
URL : https://hal.archives-ouvertes.fr/inria-00099403

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

D. Bert, M. L. Potet, and Y. Rouzaud, A study on components and assembly primitives in B, Proceedings of 1st Conference on the B method, pp.47-62, 1996.

P. Bontron and M. Potet, Automatic Construction of Validated B Components from Structured Developments, ZB2000: Formal Specification and Development in Z and B. Volume 1878 of LNCS, pp.127-147, 2000.
DOI : 10.1007/3-540-44525-0_9

J. R. Abrial, Discrete system models, 2002.

J. Attiogbé, Communicating B abstract systems, 2002.

M. J. Butler, csp2B: A Practical Approach to Combining CSP and B, Formal Aspects of Computing, vol.12, issue.3, pp.182-198, 2000.
DOI : 10.1007/PL00003930

H. Treharne and S. Schneider, Using a Process Algebra to control B OPERATIONS, 1st International Conference on Integrated Formal Methods (IFM'99), pp.437-457, 1999.
DOI : 10.1007/978-1-4471-0851-1_23

S. Schneider and H. Treharne, Communicating B Machines, LNCS, vol.2272, pp.416-435, 2002.
DOI : 10.1007/3-540-45648-1_22
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.5500

F. Bellegarde, J. Julliand, and O. Kouchnarenko, Synchronized parallel composition of event systems in B Formal specification and development in Z and B (ZB', LNCS, vol.2272, pp.436-457, 2002.

E. Estevez and P. Fillottrani, Algebraic Specifications and Refinement for Component-Based Development using RAISE, Journal of Computer Science and Technologie, vol.2, issue.7, 2002.

A. M. Zaremski and J. M. Wing, Signature matching: a tool for using software libraries, ACM Transactions on Software Engineering and Methodology, vol.4, issue.2, pp.146-170, 1995.
DOI : 10.1145/210134.210179

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

C. Canal, L. Fuentes, E. Pimentel, J. M. 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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.7529

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

J. Han, Temporal logic based specification of component interaction protocols, Proceedings of the Second Workshop on Object Interoperability ECOOP'2000, pp.12-16, 2000.

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

D. Beyer, A. Chakrabarti, and T. A. Henzinger, Web service interfaces, Proceedings of the 14th international conference on World Wide Web , WWW '05, pp.148-159, 2005.
DOI : 10.1145/1060745.1060770

A. W. Brown and K. C. Wallnan, Engineering of component-based systems, Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW), p.414, 1996.
DOI : 10.1109/ICECCS.1996.558485

G. Heineman and H. Ohlenbusch, An evaluation of component adaptation techniques, 1999.

I. Crnkovic, S. Larsson, and M. Chaudron, Component-based development process and component lifecycle, 27th International Conference Information Technology Interfaces (ITI), 2005.

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

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, vol.74, issue.1, 2005.
DOI : 10.1016/j.jss.2003.05.007

R. H. Reussner, Adapting Components and Predicting Architectural Properties with Parameterised Contracts, pp.33-43, 2001.

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.

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

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), 2006.
DOI : 10.1109/EUROMICRO.2006.9
URL : https://hal.archives-ouvertes.fr/hal-00097571