Schätz, B. Verification of Model Transformations. eceasst 2010, 29.