@misc{indiciae0b7dbe4dde3b,
  title = {Validation of a fault-tolerant clock synchronization system},
  author = {Butler, R. W. and Johnson, S. C.},
  year = {1984},
  url = {https://ntrs.nasa.gov/citations/19840026127},
  note = {Source identifier: 19840026127}
}