Email Record: High level synthesis of protocols described by a formal description technique /