Enviar Registro por Correo electrónico: Automatic generation and verification of transaction level models /