@article{DBLP:journals/ase/GuerraLWKKRSS13,
  author    = {Esther Guerra and
               Juan de Lara and
               Manuel Wimmer and
               Gerti Kappel and
               Angelika Kusel and
               Werner Retschitzegger and
               Johannes Sch{\"o}nb{\"o}ck and
               Wieland Schwinger},
  title     = {Automated verification of model transformations based on visual contracts},
  journal   = {Autom. Softw. Eng.},
  volume    = {20},
  number    = {1},
  year      = {2013},
  pages     = {5-46},
}