High level synthesis of protocols described by a formal description technique - Pirmez, Luci (Universidad Federal do Rio de Janeiro, 1997)