Enviar Registro por Correo electrónico: Verification of transaction level models of embedded systems /