Otmane Aït Mohamed Xiaoyu Song Eduard Cerny Sofiène Tahar Zijian Zhou MDG-Based State Enumeration By Retiming And Circuit Transformation. 1111-1132 2004 13 Journal of Circuits, Systems, and Computers 5 http://dx.doi.org/10.1142/S021812660400188X db/journals/jcsc/jcsc13.html#MohamedSCTZ04