Design and implementation of a consistent time service for fault-tolerant distributed systems | IEEE Conference Publication | IEEE Xplore