Review of "Trustworthy Systems Through Quantitative Software Engineering. - Ben-Menachem, Mordechai (Software engineering notes.)