Reliability and Availability engineering: modeling, analysis, and applications - Trivedi, Kishor S; Bobbio, Andrea (Cambridge University Press, 2017)