Computer Aided Verification - Chockler, Hana (Springer International Publishing, 2020)