Trustworthy Systems Through Quantitative Software Engineering

by Lawrence Bernstein, C. M. Yuhas