An Automatic Finite State Machine Synthesis Using Temporal Logic Decomposition. - Keisuke Bekki; Tohru Nagai; Nobuhiro Hamada; Tsuguo Shimizu; Noriharu Hiratsuka; Kazumasa Shima (ICCAD, 1991)