Testing of Fault-Tolerant Clock Systems. - Nagesh Vasanthavada; Peter N. Marinos; Gerald S. Mersten (ITC, 1986)