Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings - Zhiming Liu, Anders P. Ravn ((Lecture Notes in Computer Science))