Zaslat SMS: Probabilistic analysis of redundant systems /