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