Theory and Practice of Model Transformations : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings - Keith Duddy, Gerti Kappel ((Lecture Notes in Computer Science))