@misc{indiciae60b9a7b30805,
  title = {How Safe Is Control Software},
  author = {Dunn, William R. and Corliss, Lloyd D.},
  year = {1991},
  url = {https://ntrs.nasa.gov/citations/19910000292},
  note = {Source identifier: 19910000292}
}