Text this: Probabilistic analysis of distributed fault-tolerant systems /