Ali Ebnenasir Betty H. C. Cheng Sascha Konrad Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. 336-337 2006 conf/re/2006 RE http://doi.ieeecomputersociety.org/10.1109/RE.2006.70 db/conf/re/re2006.html#EbnenasirCK06