Probabilistic Failure Propagation and Transformation Analysis.

Xiaocheng Ge, Richard F. Paige, John A. McDermid

Browse the full SAFECOMP paper archive.