Text this: Trustworthy systems through quantitative software engineering /