@misc{indiciaea9b9d4e1c38c,
  title = {Study of techniques for redundancy verification without disrupting systems, phases 1-3},
  year = {1970},
  url = {https://ntrs.nasa.gov/citations/19720014852},
  note = {Source identifier: 19720014852}
}