Efficient Algorithms for Analyzing Cascading Failures in a Markovian Dependability Model. - Mihir Sanghavi; Sashank Tadepalli; Timothy J. Boyle; Matthew Downey; Marvin K. Nakayama (IEEE Trans. Reliab., 2017)