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