Tao He, Huazhong Li, Guorong Qin. Model Checking Analysis of Observational Transition System with SMV. In Chunfeng Liu, Jincai Chang, Aimin Yang, editors, Information Computing and Applications - Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part II. Volume 244 of Communications in Computer and Information Science, pages 537-544, Springer, 2011. [doi]