Synthesis of Asynchronous State Machines from Synchronous Specifications | IEEE Conference Publication | IEEE Xplore