Text this: Probabilistic analysis of redundant systems /