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

P. André, G. Ardourel, and C. Attiogbé, Vérification d'assemblage de composants logiciels Expérimentations avec MEC, 6e conférence francophone de MOdélisation et SIMulation, pp.2006-497, 2006.

P. André, G. Ardourel, and C. Attiogbé, Defining Component Protocols with Service Composition: Illustration with the Kmelia Model, 6th International Symposium on Software Composition, SC'07, 2007.
DOI : 10.1007/978-3-540-77351-1_2

P. André, G. Ardourel, C. Attiogbé, H. Habrias, and C. Stoquer, A Service-Based Component Model: Formalism, Analysis and Mechanization, p.LINA, 2005.

A. Arnold, P. Crubillé, and D. Bégay, Construction and Analysis of Transition Systems with MEC, AMAST Series in Computing World Scientific, vol.3, pp.981-983, 1994.
DOI : 10.1142/2505

P. Attie and D. H. Lorenz, Correctness of Model-based Component Composition without State Explosion, ECOOP 2003 Workshop on Correctness of Model-based Software Composition, p.pp. ?, 2003.

T. Barros, A. Cansado, E. Madelaine, and M. Rivera, Model-checking Distributed Components: The Vercors Platform, International Workshop on Formal Aspects of Component Software (FACS'06), 2006.
DOI : 10.1016/j.entcs.2006.09.028
URL : https://hal.archives-ouvertes.fr/inria-00091569

F. Bellegarde, J. Julliand, H. Mountassir, and E. Oudot, The tool VeSTA: Verification of Simulations for Timed Automata, 2006.

A. Bracciali, A. Brogi, and C. Canal, A formal approach to component adaptation, Journal of Systems and Software, vol.74, issue.1, pp.45-54, 2005.
DOI : 10.1016/j.jss.2003.05.007

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.1257-1284, 2006.
DOI : 10.1002/spe.767

E. Bruneton, T. Coupaye, and J. Stefani, The Fractal Component Model, 2004.

C. Canal, L. Fuentes, E. Pimentel, J. M. Troya, and A. Vallecillo, Adding roles to CORBA objects, IEEE Transactions on Software Engineering, vol.29, issue.3, pp.242-260, 2003.
DOI : 10.1109/TSE.2003.1183935
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.3798

J. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier et al., CADP a protocol validation and verification toolbox, Proc. of the 8th Conference on Computer-Aided Verification (CAV'96), pp.437-440, 1996.
DOI : 10.1007/3-540-61474-5_97

O. Kouchnarenko and A. Lanoix, SynCo: a refinement analysis tool for synchronized component-based systems, Tool Exhibition Notes, pp.47-51, 2003.

S. Pavel, J. Noye, P. Poizat, and J. Royer, A Java Implementation of a Component Model with Explicit Symbolic Protocols, 4th International Symposium on Software Composition, SC'05, pp.115-124, 2005.
DOI : 10.1007/11550679_9
URL : https://hal.archives-ouvertes.fr/hal-00342152

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

D. Yellin and R. 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