M. Asztalos, P. Ekler, L. Lengyel, and T. Levendovszky, “Verification of Model Transformations to Refactoring Mobile Social Networks”, eceasst, vol. 32, Apr. 2011.