@misc{indiciaef99384dcaaf4,
  title = {Verification of fault-tolerant clock synchronization systems},
  author = {Miner, Paul S.},
  year = {1993},
  url = {https://ntrs.nasa.gov/citations/19940012976},
  note = {Source identifier: 19940012976}
}