Trivedi, Kishor S. ; Bobbio, Andrea Reliability and Availability Engineering: Modeling, Analysis, and Applications - Cambridge University Press