Enviar por SMS: UML model refactoring as refinement: a coalgebraic perspective