Enviar Registro por Correo electrónico: High level synthesis of protocols described by a formal description technique /