Automated technology for verification and analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings - Liu, Zhiming (Lecture Notes in Computer Science,, 2009)