Polynomial order algorithms for structural and behavioral analysis of state machine allocatable nets. - Dong-Ik Lee; Tadaaki Nishimura; Sadatoshi Kumagai; Shinzo Kodama (ISCAS, 1993)