Trustworthy Systems Through Quantitative Software Engineering