Combination of clock-state and clock-rate correction in fault-tolerant distributed systems