@misc{indiciaeeb37abf1812b,
  title = {Automated verification of flight software. User's manual},
  author = {Saib, S. H.},
  year = {1982},
  url = {https://ntrs.nasa.gov/citations/19820022082},
  note = {Source identifier: 19820022082}
}