Modeling for reliability analysis - Markov modeling for reliability, maintainability, safety, and supportability analyses of complex systems. - Jan Pukite; Paul Pukite (IEEE, 1998)