Computer Aided Verification - Shoham (Springer International Publishing, 2022)