Text this: Synchronization and fault-masking in redundant real-time systems / C.M. Krishna, Kang G. Shin and Ricky W. Butler.