Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software

Defects = 0 is absolutely possible.

Shigeo Shingo

Management is often so focused on finding solutions that it fails to define the problems.

Watts S. Humphrey