@misc{indiciaec5e6450cd62a,
  title = {Integrated testing and verification system for research flight software},
  author = {Taylor, R. N.},
  year = {1979},
  url = {https://ntrs.nasa.gov/citations/19790010448},
  note = {Source identifier: 19790010448}
}