Asztalos, M.; Ekler, P.; Lengyel, L.; Levendovszky, T. Verification of Model Transformations to Refactoring Mobile Social Networks. ECEASST 2011, 32.