Myth: Software failures are unavoidable. … [p.45] Software engineers should be required to use … For example, the software for the IBM Wheelwriter … [the ideas summarized in this article], has been in use for more than six years with … [ref] [p. 46, used functional verification inspections, contained 63 KLOC of code running on three processors]
Google-1
Google-2
Copyright clearance needed for quotation.