Enviar por SMS: The Practice of Formal Methods