Xiaocheng Ge Richard F. Paige John A. McDermid Probabilistic Failure Propagation and Transformation Analysis. 215-228 2009 SAFECOMP http://dx.doi.org/10.1007/978-3-642-04468-7_18 conf/safecomp/2009 db/conf/safecomp/safecomp2009.html#GePM09