A Markovian Dependability Model with Cascading Failures | Synapse