Ricky W. Butler and Sally C. Johnson. Techniques for modeling the reliability of fault-tolerant systems with the Markov state-space approach. NASA : Hampton, VA, September 1995. (NASA RP-1348). techreports.larc.nasa.gov/ltrs/dublincore/1995/NASA-95-rp1348.html