Tevfik Bultan, Pao-Ann Hsiung: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings. Lecture Notes in Computer Science 6996, Springer 2011, ISBN 978-3-642-24371-4