Formal Development of a Clock Synchronization Circuit

Paul S. Miner, NASA Langley Research Center, P.S.Miner@LaRC.NASA.Gov