@misc{indiciae591689f0bdbb,
  title = {Automatic Code Generation for Instrument Flight Software},
  author = {Wagstaff, Kiri L. and Benowitz, Edward and Byrne, D. J. and Peters, Ken and Watney, Garth},
  year = {2008},
  url = {https://ntrs.nasa.gov/citations/20090031888},
  note = {Source identifier: 20090031888}
}