Hermann, F., Hülsbusch, M. and König, B. (2010) “Specification and Verification of Model Transformations”, Electronic Communications of the EASST, 30. doi: 10.14279/tuj.eceasst.30.424.