Zaslat SMS: Análisis estructurado de sistemas