T. Mens, A. Serebrenik, and A. Cleve, Evolving Software Systems, 2014.

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 (Viewpoints '96) on SIGSOFT '96 Workshops, pp.24-27, 1996.
DOI : 10.1145/243327.243340

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

J. Magee and J. Kramer, Dynamic structure in software architectures, Proceedings of the 4th ACM SIGSOFT Symposium on Foundations of Software Engineering. SIGSOFT '96, pp.3-14, 1996.
DOI : 10.1145/250707.239104

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

N. Medvidovic and R. N. Taylor, 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

D. Garlan, R. Monroe, and D. Wile, Acme: An architecture description interchange language, Proceedings of the 1997 Conference of the Centre for Advanced Studies on Collaborative Research. CASCON '97, p.7, 1997.

E. Dashofy, A. Van-der-hoek, and R. Taylor, A highly-extensible, xml-based architecture description language, Proceedings. Working IEEE/IFIP Conference on, pp.103-112, 2001.
DOI : 10.1109/wicsa.2001.948416

URL : http://www.ics.uci.edu/~taylor/ics228/WICSA 2001.pdf

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

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.
DOI : 10.1145/2371401.2371412

URL : https://hal.archives-ouvertes.fr/hal-01319811

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

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 International Conference on Software Engineering Advances, 2014.

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.
DOI : 10.1007/s10009-007-0063-9

URL : https://eprints.soton.ac.uk/262886/1/overview_final.pdf