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