Title: Techniques for modeling the reliability of fault-tolerant system s with the Markov state-space approach