@misc{indiciaeb958f0e9062a,
  title = {Software fault tolerance for real-time avionics systems},
  author = {Anderson, T. and Knight, J. C.},
  year = {1983},
  url = {https://ntrs.nasa.gov/citations/19830013861},
  note = {Source identifier: 19830013861}
}