A hardware implementation of a probably correct design of a fault-tolerant clock synchronization circuit [microform] / Wilfredo Torres-Pomales