Enviar Registro por Correo electrónico: Formal Techniques for Safety-Critical Systems :