A Markovian Dependability Model with Cascading Failures. - Srinivasan M. Iyer; Marvin K. Nakayama; Alexandros V. Gerbessiotis (IEEE Trans. Computers, 2009)