C. Szyperski, Component Software: Beyond Object-Oriented Programming, 2002.

F. Plásil, D. Balek, and R. Janecek, SOFA/DCUP: architecture for component trading and dynamic updating, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159), pp.43-52, 1998.
DOI : 10.1109/CDS.1998.675757

E. Bruneton, T. Coupaye, and J. Stefani, Fractal specification -v 2.0, 2004.

B. George, R. Fleurquin, and S. Sadou, A substitution model for software components, Proc. of the 2006 ECOOP Workshop on Quantitative Approaches on Object-Oriented Software Engineering (QaOOSE'06), 2006.

T. Bures, P. Hnetynka, and F. Plásil, SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06), pp.40-48, 2006.
DOI : 10.1109/SERA.2006.62

N. Desnos, S. Vauttier, C. Urtado, and M. Huchard, Automating the Building of Software Component Architectures, Software Architecture: 3 rd European Workshop on Software Architectures, Languages, Styles, Models, Tools, and Applications (EWSA), pp.228-235, 2006.
DOI : 10.1007/11966104_18
URL : https://hal.archives-ouvertes.fr/lirmm-00120400

A. W. Brown and K. C. Wallnau, The current state of CBSE, IEEE Software, vol.15, issue.5, pp.37-46, 1998.
DOI : 10.1109/52.714622

I. Crnkovic, Component-based software engineering?new challenges in software development, Software Focus, 2001.

R. M. Dijkman, J. P. Almeida, and D. A. Quartel, Verifying the correctness of component-based applications that support business processes, Proc. of the 6th Workshop on CBSE: Automated Reasoning and Prediction, pp.43-48, 2003.

N. Medvidovic, N. Taylor, and R. , A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077

P. Inverardi, A. L. Wolf, and D. Yankelevich, Static checking of system behaviors using derived component assumptions, ACM Transactions on Software Engineering and Methodology, vol.9, issue.3, pp.239-272, 2000.
DOI : 10.1145/352591.352593

L. De-alfaro and T. A. Henzinger, Interface automata, Proc. of the 8th European software engineering conference, pp.109-120, 2001.

M. Mach, F. Plásil, and J. Kofron, Behavior protocols verification: Fighting state explosion, International Journal of Computer and Information Science, 2005.

K. C. Wallnau, Volume III: A technology for predictable assembly from certifiable components (pacc), 2003.

J. Adamek and F. Plásil, Partial Bindings of Components - Any Harm?, 11th Asia-Pacific Software Engineering Conference, pp.632-639, 2004.
DOI : 10.1109/APSEC.2004.70

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

J. Magee and J. Kramer, Dynamic structure in software architectures, SIG- SOFT '96: Proc. of the 4th ACM SIGSOFT symposium on Foundations of software engineering, pp.3-14, 1996.

J. Aldrich, C. Chambers, and D. Notkin, ArchJava, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.187-197, 2002.
DOI : 10.1145/581339.581365

P. Inverardi and A. L. Wolf, Formal specification and analysis of software architectures using the chemical abstract machine model, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.373-386, 1995.
DOI : 10.1109/32.385973

R. J. Allen, A formal approach to software architecture, Carnegie Mellon, School of Computer Science, 1997.

J. Matevska-meyer, W. Hasselbring, and R. H. Reussner, A software architecture description supporting component deployment and system runtime reconfiguration, Proc. of the 9th Int. Workshop on Component-Oriented Programming, 2004.

P. Oreizy, N. Medvidovic, and R. N. Taylor, Architecture-based runtime software evolution, Proceedings of the 20th International Conference on Software Engineering, 1998.
DOI : 10.1109/ICSE.1998.671114

P. Brada, Component Change and Version Identification in SOFA, SOFSEM '99: Proc. of the 26th Conf. on Current Trends in Theory and Practice of Informatics, pp.360-368, 1999.
DOI : 10.1007/3-540-47849-3_23

N. Desnos, C. Urtado, S. Vauttier, and M. Huchard, Helping the architect build component-based architectures, Proc. of the 12th french speaking conference on Languages and Models with Objets (LMO2006), pp.37-52, 2006.

A. E. Lobo, C. De, P. A. Guerra, F. C. Filho, and C. M. Rubira, A systematic approach for the evolution of reusable software components, ECOOP'2005 Workshop on Architecture-Centric Evolution, 2005.

C. Jones, Systematic Software Development using VDM, 1990.

J. R. Abrial, The B-Book, Assigning programs to meanings, 1996.