A process improvement model for software verification and validation by John Callahan · Bookplated