Reliability and Availability Engineering | North Carolina) Kishor (Duke University Trivedi, Andrea Bobbio