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