Reliability and availability engineering : modeling, analysis, and applications - Trivedi, Kishor Shridharbhai, 1946- (Cambridge University Press, 2017)