Francisco Corella Michel Langevin Eduard Cerny Zijian Zhou Xiaoyu Song State enumeration with abstract descriptions of state machines. 146-160 1995 conf/charme/1995 CHARME db/conf/charme/charme1995.html#CorellaLCZS95