Esther Guerra, Juan de Lara, Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger. Automated verification of model transformations based on visual contracts. Automated Software Engineering, 20(1):5-46, 2013. [doi]
Abstract is missing.