Computer Aided Verification - Sharygina (Springer Berlin Heidelberg, 2013)