@TechReport{Terrell+11a,
  author      = {Jeffrey Terrell and Steffen Zschaler and Iman Poernomo},
  title          = {Proof-Carrying Model-Transformation Components},
  institution = {King's College London, Department of Informatics},
  number    = {TR-11-02},
  url           = {http://www.kcl.ac.uk/nms/depts/informatics/research/techreports/assets/tr-11-02.pdf},
}