Computer Aided Verification - Gupta, Aarti (Springer Berlin Heidelberg, 2020)