Asztalos, Márk, et al. “Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models”. Electronic Communications of the EASST, vol. 21, Nov. 2009, doi:10.14279/tuj.eceasst.21.287.