Computer Aided Verification - Sharygina, Natasha; Veith, Helmut (Springer Berlin Heidelberg, 2013)