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