https://9lib.org/document/nq7p2krq-assessing-complex-failure-scenarios-board-distributed-systems-markov.html