Return to Article Details Verification of Model Transformations to Refactoring Mobile Social Networks Download Download PDF