Direct Synthesis of Hazard-Free Asynchronous Circuits from STGs Based on Lock Relation and BG-Decomposition Approach. - Kuan-Jen Lin; Jih-Wen Kuo; Chen-Shang Lin (EDAC-ETC-EUROASIC, 1994)