@misc{indiciae8457a6a4f6d2,
  title = {Dynamic assertion testing of flight control software},
  author = {Andrews, D. M. and Mahmood, A. and Mccluskey, E. J.},
  year = {1985},
  url = {https://ntrs.nasa.gov/citations/19860013850},
  note = {Source identifier: 19860013850}
}