Processos Semi Markovianos e Redes Bayesianas para Avaliação de Indicadores de Desempenho de Confiabilidade de Sistemas Complexos Tolerantes à Falha. Documento