A. Cicchetti, D. Di-ruscio, P. Pelliccione, A. Pierantonio, and S. Zacchiroli, Towards a model driven approach to upgrade complex software systems, Proceedings of ENASE 2009 (4th international conference on Evaluation of Novel Aspects to Software Engineering), 2009.

D. , L. Berre, and P. Rapicault, Dependency management for the eclipse ecosystem, Proceedings of IWOCE2009 (International workshop on Open Component Ecosystems), 2009.
URL : https://hal.archives-ouvertes.fr/hal-00870855

O. Gruber, B. J. Hargrave, J. Mcaffer, P. Rappicault, and T. Watson, The Eclipse 3.0 platform: Adopting OSGi technology, IBM Systems Journal, vol.44, issue.2, 2005.
DOI : 10.1147/sj.442.0289

M. Kleiner, M. D. Del-fabro, and P. , Albert: Model Search: Formalizing and Automating Constraint Solving in MDE Platforms, 6th European conference on Modelling Foundations and Applications), pp.173-188, 2010.

D. Jackson, Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology, vol.11, issue.2, pp.256-290, 2002.
DOI : 10.1145/505145.505149

K. R. Apt, Principle of Constraint Programming, 2003.
DOI : 10.1017/CBO9780511615320

A. D. Brucker and B. Wolff, The HOL-OCL book, 2006.

J. Cabot, R. Clarisó, and D. Riera, UMLtoCSP, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.547-548
DOI : 10.1145/1321631.1321737

R. V. Straeten, T. Mens, J. Simmonds, and V. Jonckers, Using description logic to maintain consistency between. UML models, Proc. of UML'03., volume 2863 of LNCS, pp.326-340, 2003.

K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, UML2Alloy: A Challenging Model Transformation, ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems, pp.436-450, 2007.
DOI : 10.1007/978-3-540-75209-7_30