SMS: Modelos probabilísticos em confiabilidade