Trustworthy systems through quantitative software engineering - Bernstein, Lawrence (Wiley, 2025)