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