@article{TUW-207083, author = {Guerra, Esther and De Lara, Juan and Wimmer, Manuel and Kappel, Gerti and Kusel, Angelika and Retschitzegger, Werner and Sch{\"o}nb{\"o}ck, Johannes and Schwinger, Wieland}, title = {Automated verification of model transformations based on visual contracts}, journal = {Journal of Automated Software Engineering}, year = {2012}, volume = {20}, number = {1}, pages = {5--46}, url = {http://link.springer.com/article/10.1007%2Fs10515-012-0102-y}, doi = {10.1007/s10515-012-0102-y} }