Kishor S. Trivedi Gianfranco Ciardo Balakrishnan Dasarathy Michael Grottke Rivalino Matias Andrew Rindos Bart Vashaw Achieving and Assuring High Availability. 20-25 2008 ISAS http://dx.doi.org/10.1007/978-3-540-68129-8_4 conf/isas/2008 db/conf/isas/isas2008.html#TrivediCDGMRV08