Books — fault-tolerant systems