SMS: Probabilistic reliability models