Xiaocheng Ge Richard F. Paige John A. McDermid Analysing System Failure Behaviours with PRISM. 130-136 2010 SSIRI (Companion) http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.32 conf/ssiri/2010c db/conf/ssiri/ssiri2010c.html#GePM10