@misc{indiciaec2bdb2b8d25d,
  title = {Refinement for fault-tolerance: An aircraft hand-off protocol},
  author = {Marzullo, Keith and Schneider, Fred B. and Dehn, Jon},
  year = {1994},
  url = {https://ntrs.nasa.gov/citations/19940023265},
  note = {Source identifier: 19940023265}
}