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