@conference{ButtnerEGL13,
author = "Fabian B{\"u}ttner and Marina Egea and Esther Guerra and de Lara, Juan",
booktitle = "Theory and Practice of Model Transformations - 6th International               Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013.               Proceedings",
editor = "Keith Duddy and               Gerti Kappel",
note = "Tier B;
Partners INRIA, ATOS, UAM",
pages = "158-173",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
title = "{C}hecking {M}odel {T}ransformation {R}efinement",
volume = "7909",
year = "2013",
}