Software Verification and Validation An Engineering and Scientific Approach - Fisher, Marcus S. (Springer US, 2007)