A hardware implementation of a provably correct design of a fault-tolerant clock synchronization circuit / - Torres-Pomales, Wilfredo. (National Aeronautics and Space Administration, Langley Research Center ;, 1993)