Computer Aided Verification - Damm, Werner (Springer Berlin Heidelberg, 2020)