Kishor S. Trivedi Gianfranco Ciardo Balakrishnan Dasarathy Michael Grottke Andrew Rindos Bart Vashaw Achieving and assuring high availability. 1-7 2008 IPDPS http://dx.doi.org/10.1109/IPDPS.2008.4536147 conf/ipps/2008 db/conf/ipps/ipdps2008.html#TrivediCDGRV08