Synthesis of Hazard-free Asynchronous Circuits from Generalized Signal-Transition Graphs | IEEE Conference Publication | IEEE Xplore