Trustworthy Systems Through Quantitative Software Engineering by Lawrence Bernstein & C.M. Yuhas