@misc{indiciaeeb48bf032eb8, title = {Formal development of a clock synchronization circuit}, author = {Miner, Paul S.}, year = {1995}, url = {https://ntrs.nasa.gov/citations/19960000037}, note = {Source identifier: 19960000037} }