@misc{indiciaecde697741efe,
  title = {Formalizing Space Shuttle Software Requirements},
  author = {Crow, Judith and DiVito, Ben L.},
  year = {1996},
  url = {https://ntrs.nasa.gov/citations/20040110898},
  note = {Source identifier: 20040110898}
}