@book{13530, author = {Cha, Sungdeok (Steve). and Choi, Jin-Young. and SpringerLink (Online service)}, title = {Automated Technology for Verification and Analysis}, publisher = {Springer Berlin Heidelberg,}, year = {2008.}, series = {Lecture Notes in Computer Science,}, address = {Berlin, Heidelberg :}, url = {http://dx.doi.org/10.1007/978-3-540-88387-6} }