Trustworthy systems through quantitative software engineering - Bernstein, Lawrence, 1940- (Quantitative software engineering series, 2005)