Trustworthy Systems Through Quantitative Software Engineering - Bernstein (IEEE, 2005)