@conference{Butt12,
author = "F.B{\"u}ttner and M. Egea and J. Cabot",
address = "Innsbruck, Austria",
booktitle = "Model Driven Engineering Languages and Systems, 15th Int. Conf., MODELS 2012",
editor = "R. France, J. Kazmeier, C. Atkinson, R. Breu",
note = "partners: ATOS, INRIA Projects: NESSoS, Nouvelles Equipe Program of the Pays de la Loire Region.
Tier B. ",
number = "7590",
series = "LNCS",
title = "{O}n the verification of {ATL} transformations using “off-the-shelf” {SMT} sol",
year = "2012",
}