Asztalos, M., Ekler, P., Lengyel, L., & Levendovszky, T. (2011). Verification of Model Transformations to Refactoring Mobile Social Networks. Electronic Communications of the EASST, 32. https://doi.org/10.14279/tuj.eceasst.32.542