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