@Article{Lano+12,
  author    = {Kevin Lano and Shekoufeh Kolahdouz-Rahimi and Iman Poernomo and Jeffrey Terrell and Steffen Zschaler},
  title     = {Correct-by-construction synthesis of model transformations using transformation patterns},
  doi       = {10.1007/s10270-012-0291-7},
  pages     = {873--907},
  journal   = {Software and Systems Modeling},
  volume    = 13,
  number    = 2,
  month     = may,
  year      = 2014,
  issn      = {1619-1366},
  publisher = {Springer-Verlag},
}