Jianhua Zhao Bin Lei Xuandong Li Guoliang Zheng Improve Model Checking Efficiency Using Specific Knowledge about the System. 392-396 2006 ISoLA http://dx.doi.org/10.1109/ISoLA.2006.28 conf/isola/2006 db/conf/isola/isola2006.html#ZhaoLLZ06