@misc{indiciaeb3b907251faf,
  title = {A computer program for model verification of dynamic systems},
  author = {Chrostowski, J. D. and Hasselman, T. K.},
  year = {1987},
  url = {https://ntrs.nasa.gov/citations/19870013277},
  note = {Source identifier: 19870013277}
}