Figure 8: Equivalent steady-state Markov model of a triple-redundant system.