Computer Aided Verification - Swarat Chaudhuri, Azadeh Farzan (Springer International Publishing, 2016)