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