B. Schätz, “Verification of Model Transformations”, ECEASST, vol. 29, Jul. 2010.