Hermann, F.; Hülsbusch, M.; König, B. Specification and Verification of Model Transformations. eceasst 2010, 30.