T. Mens, G. Taentzer, and D. Müller, Challenges in model refactoring, Proc. 1st Workshop on Refactoring Tools, 2007.

T. Mens and T. Tourwé, A survey of software refactoring, IEEE Transactions on Software Engineering, vol.30, issue.2, pp.126-139, 2004.
DOI : 10.1109/TSE.2004.1265817

D. B. Roberts, Practical analysis for refactoring

M. Fowler, Refactoring: Improving the Design of Existing Code, 1999.
DOI : 10.1007/3-540-45672-4_31

T. Mens and P. V. Gorp, A Taxonomy of Model Transformation, Electronic Notes in Theoretical Computer Science, vol.152, pp.125-142, 2006.
DOI : 10.1016/j.entcs.2005.10.021

M. Boger, T. Sturm, and P. Fragemann, Refactoring Browser for UML, Lecture Notes in Computer Science, vol.2591, pp.366-377, 2002.
DOI : 10.1007/3-540-36557-5_26

J. Warmer and A. Kleppe, The Object Constraint Language: Getting Your Models Ready for MDA, 2003.

S. Markovic and T. Baar, Refactoring OCL annotated UML class diagrams, Software & Systems Modeling, vol.20, issue.5, pp.25-47, 2008.
DOI : 10.1007/s10270-007-0056-x

P. Kosiuczenko, Redesign of UML class diagrams: a formal approach, Software and System Modeling, pp.165-183, 2009.
DOI : 10.1007/s10270-007-0068-6

R. Team, Roclet project, Tech. rep, 2007.

B. Ramesh, Representing and reasoning with traceability in model lifecycle management, Annals Operations Research, vol.54, pp.123-145, 1997.

N. Aizenbud-reshef, B. T. Nolan, J. Rubin, and Y. Shaham-gafni, Model traceability, IBM Systems Journal, vol.45, issue.3, pp.515-526, 2006.
DOI : 10.1147/sj.453.0515

O. C. Gotel and A. C. Finkelstein, An analysis of the requirements traceability problem, Proceedings of IEEE International Conference on Requirements Engineering, pp.94-101, 1994.
DOI : 10.1109/ICRE.1994.292398

R. F. Paige, G. K. Olsen, D. S. Kolovos, S. Zschaler, and C. Power, Building model-driven engineering traceability classifications, 2008.

O. and M. Qvt, Adopted Specification, Object Management Group, 2005.

F. Jouault, Loosely coupled traceability for atl, Proceedings of the European Conference on Model Driven Architecture (ECMDA) workshop on traceability, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00448118

J. R. Falleri, M. Huchard, and C. Nebut, Towards a traceability framework for model transformations in kermeta, 2006.
URL : https://hal.archives-ouvertes.fr/lirmm-00102855

M. Alanen and I. Porres, Difference and Union of Models, pp.2-17, 2003.
DOI : 10.1007/978-3-540-45221-8_2

D. Ohst, M. Welle, and U. Kelter, Differences between versions of uml diagrams, pp.227-236, 2003.

Z. Xing and E. Stroulia, UMLDiff, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.54-65, 2005.
DOI : 10.1145/1101908.1101919

R. Wieringa, An introduction to requirements traceability, 1995.

S. Markovic, Model refactoring using transformations, 2008.

A. L. Correa and C. M. Werner, Applying Refactoring Techniques to UML/OCL Models, pp.173-187, 2004.
DOI : 10.1007/978-3-540-30187-5_13

J. Cabot and E. Teniente, Transforming OCL constraints, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.1196-1201, 2006.
DOI : 10.1145/1141277.1141562

M. Giese and D. Larsson, Simplifying Transformations of OCL Constraints, pp.309-323, 2005.
DOI : 10.1007/11557432_23

A. Cicchetti, D. Ruscio, and A. Pierantonio, Managing Model Conflicts in Distributed Development, MoDELS '08: Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems, pp.311-325, 2008.
DOI : 10.1007/978-3-540-87875-9_23

E. Visser, J. Warmer, A. V. Deursen, and A. V. Deursen, Model-driven software evolution: A research agenda, Proc. Int. Ws on Model- Driven Software Evolution held with the ECSMR'07, 2007.

K. Altmanninger, P. Brosch, G. Kappel, M. S. Philip-langer, K. Wieland et al., Why model versioning research is needed!? an experience report, Vortrag: Joint MoDSE-MCCM 2009 Workshop -Models and Evolution, 2009.

T. Mens, A state-of-the-art survey on software merging, IEEE Transactions on Software Engineering, vol.28, issue.5, pp.449-462, 2002.
DOI : 10.1109/TSE.2002.1000449

D. S. Kolovos, D. D. Ruscio, A. Pierantonio, and R. F. Paige, Different models for model matching: An analysis of approaches to support model differencing, 2009 ICSE Workshop on Comparison and Versioning of Software Models, pp.1-6, 2009.
DOI : 10.1109/CVSM.2009.5071714

C. Treude, S. Berlik, S. Wenzel, and U. Kelter, Difference computation of large models, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering , ESEC-FSE '07, pp.295-304, 2007.
DOI : 10.1145/1287624.1287665

C. Tibermacine, R. Fleurquin, and S. Sadou, On-Demand Quality-Oriented Assistance in Component-Based Software Evolution, 2006.
DOI : 10.1007/11783565_21
URL : https://hal.archives-ouvertes.fr/hal-00499531