Markov Analysis Compared with FTA
40