@misc{indiciaeac7fb7c0f84f,
  title = {Space Shuttle Software Development and Certification},
  author = {Orr, James K. and Henderson, Johnnie A},
  year = {2000},
  url = {https://ntrs.nasa.gov/citations/20100033619},
  note = {Source identifier: 20100033619}
}