A generic fault-tolerant architecture for real-time dependable systems. - Powell, David J. (Kluwer Academic Publishers, 2001)