Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems