Envoyer par SMS: Análisis estructurado de sistemas