https://1library.org/document/y69rl6oy-licação-processos-markovianos-análise-indisponibilidade-sistemas-proteção-votação.html