The following publications are possibly variants of this publication:
- On the non-termination of MDGs-based abstract state enumerationOtmane Aït Mohamed, Xiaoyu Song, Eduard Cerny. charme 1997: 218-235
- On the non-termination of M-based abstract state enumerationOtmane Aït Mohamed, Xiaoyu Song, Eduard Cerny. TCS, 300(1-3):161-179, 2003. [doi]
- State enumeration with abstract descriptions of state machinesFrancisco Corella, Michel Langevin, Eduard Cerny, Zijian Zhou, Xiaoyu Song. charme 1995: 146-160
- Verification with Abstract State Machines Using MDGsEduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou. fhv 1997: 79-113
- MDG-Based State Enumeration By Retiming And Circuit TransformationOtmane Aït Mohamed, Xiaoyu Song, Eduard Cerny, Sofiène Tahar, Zijian Zhou. jcsc, 13(5):1111-1132, 2004. [doi]