Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings - Liu, Zhiming; Ravn, Anders P. (Springer Berlin Heidelberg, 2009)