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

The only thing in the world growing faster than computing technology today is computer end-user expectation.

P. C. Patton