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