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

Humans are not often logical creatures. Most of the time we base our judgments on hazy impressions of reality and then use logic to defend our conclusions.

Thomas Saaty

Not everything that counts can be counted and not everything that can be counted counts.

Albert Einstein