Wanwei Liu Ji Wang Huowang Chen Xiaodong Ma Zhaofei Wang Symbolic model checking APSL. 130-141 2009 3 Frontiers of Computer Science in China 1 http://dx.doi.org/10.1007/s11704-009-0003-9 db/journals/fcsc/fcsc3.html#LiuWCMW09