1. Anastasakis, K., Bordbar, B., Küster, J.M.: Analysis of Model Transformations via Alloy. In: Baudry, B., Faivre, A., Ghosh, S., Pretschner, A. (eds.) Proceedings of the 4th MoDeVVa Workshop Model-Driven Engineering, Verification and Validation, pp. 47–56 (2007),
http://kyriakos.anastasakis.net/prof/pubs/modevva07.pdf
2. Bézivin, J.: In Search of a Basic Principle for Model-Driven Engineering. UPGRADE, The European Journal for the Informatics Professional, Special Issue on UML and Model Engineering 5(2), 21–24 (2004)
3. Lecture Notes in Computer Science;J. Cabot,2004
4. Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: Automating Co-evolution in Model-Driven Engineering. In: Enterprise Distributed Object Computing Conference (2008)
5. Di Ruscio, D., Iovino, L., Pierantonio, A.: What is Needed for Managing Co-evolution in MDE? In: Proc. of the 2nd International Workshop on Model Comparison in Practice, IWMCP 2011, pp. 30–38. ACM, New York (2011)