@misc{indiciaea806bab4b2af,
  title = {Fault Tolerant State Machines},
  author = {Burke, Gary R. and Taft, Stephanie},
  year = {2004},
  url = {https://ntrs.nasa.gov/citations/20070035975},
  note = {Source identifier: 20070035975}
}