Sergiy A. Vilkomir David Lorge Parnas Veena B. Mendiratta Eamonn Murphy Segregated failures model for availability evaluation of fault-tolerant systems. 55-61 2006 conf/acsc/2006 ACSC http://doi.acm.org/10.1145/1151699.1151706 db/conf/acsc/acsc2006.html#VilkomirPMM06