Enviar por SMS: On the use of CEP in safety-critical systems