Software Verification and Validation - Fisher, Marcus S. (Springer US, 2020)