@misc{indiciae9e0409b390cb,
  title = {ACES: Space shuttle flight software analysis expert system},
  author = {Satterwhite, R. Scott},
  year = {1990},
  url = {https://ntrs.nasa.gov/citations/19900016255},
  note = {Source identifier: 19900016255}
}