Automated Technology for Verification and AnalysisSungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan · First published 2008Open the Tome