Computer Aided Verification - Lahiri (Springer International Publishing, 2020)