SMS dit: Probabilistic reliability models