@misc{indiciae09bc4605a42a,
  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/19850035703},
  note = {Source identifier: 19850035703}
}