Modeling for reliability analysis Markov modeling for reliability, maintainability, safety, and supportability analyses of complex computer systems / Jan Pukite, Paul Pukite. - Pukite, Jan, 1928- (IEEE Press series on engineering of complex computer systems, 1998)