Asztalos, Mark, Péter Ekler, László Lengyel, and Tihamér Levendovszky. “Verification of Model Transformations to Refactoring Mobile Social Networks”. Electronic Communications of the EASST 32 (April 4, 2011). Accessed July 31, 2025. https://www.eceasst.org/index.php/eceasst/article/view/1716.