Fault-tolerant systems [electronic resource] - Koren, Israel, 1945-.; Krishna, C. M. (C. Mani). (Elsevier/Morgan Kaufmann, 2007)