Enviar por SMS: Interactive verification of safety-critical software