Markov Analysis Compared with FTA
34