Enviar por SMS: Formal Methods in System Design