Envoyer par SMS: Estado del arte de verificación de transformación de modelos