Daniel Davies Reliable Synchronization of Redundant Systems. 236-237 1978 ISCA db/conf/isca/isca78.html#Davies78