Enviar Registro por Correo electrónico: Integrated Formal Methods :