Verification and Validation for Trustworthy Software Systems. - Michael, James Bret; Drusinsky, Doron; Otani, Thomas W. (IEEE Software, 2011)