Automated Technology for Verification and Analysis - Cha, Sungdeok (Steve); Choi, Jin-Young; Kanade, Takeo; Kim, Moonzoo; Lee, Insup; Viswanathan, Mahesh; Kittler, Josef (Springer Berlin Heidelberg, 2008)