Enviar registro por correo electrónico: Developing safety-critical software :