Zaslat SMS: Quantitative assessments of distributed systems :