@conference{ButtnerECG12,
author = "Fabian B{\"u}ttner and Marina Egea and Jordi Cabot and Martin Gogolla",
booktitle = "Formal Methods and Software Engineering - 14th International               Conference on Formal Engineering Methods, ICFEM 2012, Kyoto,               Japan, November 12-16, 2012. Proceedings",
editor = "Toshiaki Aoki and               Kenji Taguchi",
isbn = "978-3-642-34280-6",
note = "partners: ATOS-INRIA; projects: NESSoS, and Nouvelles E´quipes program of the Pays de la Loire
region (France).
No tier.",
pages = "198-213",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
title = "{V}erification of {ATL} {T}ransformations {U}sing {T}ransformation               {M}odels and {M}odel {F}inders",
volume = "7635",
year = "2012",
}