@misc{indiciae1cf60ade1382,
  title = {Executable assertions and flight software},
  author = {Mahmood, A. and Andrews, D. M. and Mccluskey, E. J.},
  year = {1984},
  url = {https://ntrs.nasa.gov/citations/19860017456},
  note = {Source identifier: 19860017456}
}