@misc{indiciaeae309b540320,
  title = {Integrated testing and verification system for research flight software design document},
  author = {Taylor, R. N. and Merilatt, R. L. and Osterweil, L. J.},
  year = {1979},
  url = {https://ntrs.nasa.gov/citations/19820007940},
  note = {Source identifier: 19820007940}
}