F. Hermann, M. Hülsbusch, and B. König, “Specification and Verification of Model Transformations”, ECEASST, vol. 30, Nov. 2010.