J. Abrial, The B Book -Assigning Programs to Meanings, 1996.

K. Altmanninger, P. Brosch, G. Kappel, P. Langer, M. Seidl et al., Why model versioning research is needed!? an experience report, Proceedings of the MoDSE-MCCM Workshop@ MoDELS, 2009.

G. Arévalo, N. Desnos, M. Huchard, C. Urtado, and S. Vauttier, Precalculating component interface compatibility using FCA, Proceedings of the 5 th international conference on Concept Lattices and their Applications CEUR Workshop Proceedings, pp.241-252, 2007.

T. Bures, P. Hn?tynka, and F. Plá?il, 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

A. Cicchetti, F. Ciccozzi, and T. Leveque, A Solution for Concurrent Versioning of Metamodels and Models., The Journal of Object Technology, vol.11, issue.3, pp.1-32, 2012.
DOI : 10.5381/jot.2012.11.3.a1

A. Cicchetti, D. Di-ruscio, and A. Pierantonio, Managing Dependent Changes in Coupled Evolution, Proceedings of the International Conference on Theory and Practice of Model Transformations, pp.35-51, 2009.
DOI : 10.1007/s10270-005-0079-0

P. Clements and M. Shaw, "The Golden Age of Software Architecture" Revisited, IEEE Software, vol.26, issue.4, 2009.
DOI : 10.1109/MS.2009.83

R. Conradi and B. Westfechtel, Version models for software configuration management, ACM Computing Surveys, vol.30, issue.2, pp.232-282, 1998.
DOI : 10.1145/280277.280280
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.7444

E. M. Dashofy, A. Van-der-hoek, and R. N. Taylor, A comprehensive approach for the development of modular software architecture description languages, ACM Transactions on Software Engineering and Methodology, vol.14, issue.2, pp.199-245, 2005.
DOI : 10.1145/1061254.1061258

J. Estublier and R. Casallas, Three dimensional versioning. Software Configuration Management, pp.118-135, 1995.
DOI : 10.1007/3-540-60578-9_9

J. Estublier, D. Leblang, A. Van-der-hoek, R. Conradi, G. Clemm et al., Impact of software engineering research on the practice of software configuration management, ACM Transactions on Software Engineering and Methodology, vol.14, issue.4, pp.383-430, 2005.
DOI : 10.1145/1101815.1101817

M. Herrmannsdoerfer, Operation-based versioning of metamodels with COPE, 2009 ICSE Workshop on Comparison and Versioning of Software Models, pp.49-54, 2009.
DOI : 10.1109/CVSM.2009.5071722

B. H. Liskov and J. M. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, pp.1811-1841, 1994.
DOI : 10.1145/197320.197383

A. Mokni, M. Huchard, C. Urtado, and S. Vauttier, A threelevel versioning model for component-based software architectures, Proceedings of the 11 th International Conference on Software Engineering Advances, pp.178-183, 2016.

A. Mokni, C. Urtado, S. Vauttier, M. Huchard, and H. Y. Zhang, A formal approach for managing component-based architecture evolution, Science of Computer Programming, vol.127, pp.24-49, 2016.
DOI : 10.1016/j.scico.2016.03.003
URL : https://hal.archives-ouvertes.fr/hal-01380397

R. F. Paige, N. Matragkas, and L. M. Rose, Evolving models in Model-Driven Engineering: State-of-the-art and future challenges, Journal of Systems and Software, vol.111, pp.272-280, 2016.
DOI : 10.1016/j.jss.2015.08.047

R. Roshandel, A. Van-der-hoek, M. Mikic-rakic, and N. Medvidovic, Mae---a system model and environment for managing architectural evolution, ACM Transactions on Software Engineering and Methodology, vol.13, issue.2, pp.240-276, 2004.
DOI : 10.1145/1018210.1018213
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.9129

L. Torvalds and J. Hamano, Git: Fast version control system

C. Urtado and C. Oussalah, Complex entity versioning at two granularity levels, Information Systems, vol.23, issue.3-4, pp.197-216, 1998.
DOI : 10.1016/S0306-4379(98)00009-X

H. Y. Zhang, C. Urtado, and S. Vauttier, Architecturecentric component-based development needs a three-level ADL, Proceedings of the 4 th European Conference on Software Architecture, pp.295-310, 2010.
DOI : 10.1007/978-3-642-15114-9_22
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 International Conference on Generative Programming and Component Engineering, GPCE '12, pp.70-79, 2012.
DOI : 10.1145/2371401.2371412
URL : https://hal.archives-ouvertes.fr/hal-00718290