Techniques for modeling the reliability of fault-tolerant system s with the Markov state-space approach [microform] / Ricky W. Butler and Sally C. Johnson