Sergiy A. Vilkomir David Lorge Parnas Veena B. Mendiratta Eamonn Murphy Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures. 473-478 2005 conf/compsac/2005 COMPSAC (1) http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.52 db/conf/compsac/compsac2005-1.html#VilkomirPMM05