Stav dette: Quantitative assessments of distributed systems :