Title: Trustworthy systems through quantitative software engineering
Subjects: Reliability, Software engineering, Computer software