Zhiming Liu, Anders P. Ravn: Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Lecture Notes in Computer Science 5799, Springer 2009, ISBN 978-3-642-04760-2