@misc{indiciae377e3604344a,
  title = {Mechanical verification of a schematic Byzantine clock synchronization algorithm},
  author = {Shankar, Natarajan},
  year = {1991},
  url = {https://ntrs.nasa.gov/citations/19910018559},
  note = {Source identifier: 19910018559}
}