A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems - Powell, David (Springer US, 2001)