@misc{indiciaebfcbafd40bbf,
  title = {Validation Methods for Fault-Tolerant avionics and control systems, working group meeting 1},
  year = {1979},
  url = {https://ntrs.nasa.gov/citations/19800004487},
  note = {Source identifier: 19800004487}
}