Sung Deok Cha Jin-Young Choi Moonzoo Kim Insup Lee Mahesh Viswanathan Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings 5311 2008 978-3-540-88386-9 ATVA Lecture Notes in Computer Science Springer db/conf/atva/atva2008.html