@misc{indiciae8f18a6ea27bb,
  title = {Verifying shuttle onboard software using expert systems},
  author = {Wingert, William B.},
  year = {1987},
  url = {https://ntrs.nasa.gov/citations/19880007853},
  note = {Source identifier: 19880007853}
}