Zaslat SMS: Probabilistic reliability models