M. Asztalos, L. Lengyel, and T. Levendovszky, “Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models”, eceasst, vol. 21, Nov. 2009.