Computer Aided Verification - Majumdar, Rupak (Springer International Publishing, 2020)