Independent Verification and Validation by Robert O. Lewis