Fault-tolerant software systems techniques and applications - Pham, Hoang (IEEE Computer Society Press, 1992)