Asztalos, M., Lengyel, L. and Levendovszky, T. (2009) “Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models”, Electronic Communications of the EASST, 21. doi: 10.14279/tuj.eceasst.21.287.