A Tools Flow for Synthesis of Asynchronous Control Circuits from Extended STG Specifications | IEEE Conference Publication | IEEE Xplore