Computer Aided Verification - Silva (Springer International Publishing, 2021)