B. P. Lientz, E. B. Swanson, and G. E. Tompkins, Characteristics of application software maintenance, Communication of the ACM, vol.21, issue.6, pp.466-471, 1978.

D. E. Perry and A. L. Wolf, Foundations for the study of software architecture. SIGSOFT Software Engineering Notes, vol.17, pp.40-52, 1992.

L. De-silva and D. Balasubramaniam, Controlling software architecture erosion: A survey, Journal of Systems and Software, vol.85, issue.1, pp.132-151, 2012.

H. Y. Zhang, C. Urtado, and S. Vauttier, Architecture-centric component-based development needs a three-level ADL, Proceedings of the 4th ECSA, vol.6285, pp.295-310, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00534682

H. Y. Zhang, L. Zhang, C. Urtado, S. Vauttier, and M. Huchard, A three-level component model in component-based software development, Proceedings of the 11th GPCE, pp.70-79, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00718290

J. R. Abrial, The B-book: Assigning Programs to Meanings, 1996.

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

N. Medvidovic, ADLs and dynamic architecture changes, Joint Proceedings of the Second International Software Architecture Workshop and International Workshop on Multiple Perspectives in Software Development on SIGSOFT '96 Workshops, pp.24-27, 1996.

R. Allen and D. Garlan, A formal basis for architectural connection, ACM TOSEM, vol.6, issue.3, pp.213-249, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00444067

D. C. Luckham, J. J. Kenney, L. M. Augustin, J. Vera, D. Bryan et al., Specification and analysis of system architecture using rapide, IEEE TSE, vol.21, pp.336-355, 1995.

D. Garlan, R. Monroe, and D. Wile, ACME: An architecture description interchange language, Proceedings of CASCON, 1997.

J. Magee and J. Kramer, Dynamic structure in software architectures, ACM SIGSOFT Software Engineering Notes, vol.21, issue.6, pp.3-14, 1996.

F. Oquendo, {Pi-ADL}: An architecture description language based on the higherorder typed pi-calculus for specifying dynamic and mobile software architectures, SIGSOFT Software Engineering Notes, vol.29, issue.3, pp.1-14, 2004.

M. Shaw and D. Garlan, Formulations and formalisms in software architecture, Computer Science Today, vol.1000, pp.307-323, 1995.

C. A. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.

A. Joolia, T. Batista, G. Coulson, and A. T. Gomes, Mapping ADL specifications to an efficient and reconfigurable runtime component platform, Proceedings of the 5th WICSA, pp.131-140, 2005.

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, I. Information and Computation, vol.100, issue.1, pp.1-40, 1992.

A. Mokni, M. Huchard, C. Urtado, S. Vauttier, and H. Y. Zhang, Towards automating the coherence verification of multi-level architecture descriptions, Proceedings of the 9th ICSEA, 2014.

R. Taylor, N. Medvidovic, and E. Dashofy, Software architecture: Foundations, Theory, and Practice, 2009.

M. Leuschel and M. Butler, ProB: An automated analysis toolset for the b method, International Journal on Software Tools for Technology Transfer, vol.10, issue.2, pp.185-203, 2008.

J. Barnes, D. Garlan, and B. Schmerl, Evolution styles: foundations and models for software architecture evolution. Software and Systems Modeling, vol.13, pp.649-678, 2014.