Computer Aided Verification - Majumdar (Springer International Publishing, 2017)