@misc{indiciae4f67aba58d96,
  title = {Spaceport Command and Control System Automated Verification Software Development},
  author = {Backus, Michael W.},
  year = {2017},
  url = {https://ntrs.nasa.gov/citations/20170004494},
  note = {Source identifier: 20170004494}
}