Master clock
Category: Invariant
Description
Master clock has two methods: tick (which increments time) and reset (which resets time to zero). Slave clock stores a cache, which should be no greater than master's current time. The slaves should be synchronized as rarely as possible, i.e. only after a reset.