@InProceedings{Zschaler+11,
  author    = {Steffen Zschaler and Jeffrey Terrell and Iman Poernomo},
  title     = {Towards Modular Reasoning for Model Transformations},
  booktitle = {Workshop on Composition and Evolution of Model Transformations},
  year      = 2011,
}