Frage zu Artikel "Trustworthy Systems Through Quantitative Software.."