@misc{indiciae4c2e196df296,
  title = {Writing executable assertions to test flight software},
  author = {Mahmood, A. and Andrews, D. M. and Mccluskey, E. J.},
  year = {1984},
  url = {https://ntrs.nasa.gov/citations/19850039822},
  note = {Source identifier: 19850039822}
}