@misc{indiciaed0f47c41c166,
  title = {Distributed Avionics and Software Verification for the Constellation Program},
  author = {Hood, Laura E. and Adams, James E.},
  year = {2008},
  url = {https://ntrs.nasa.gov/citations/20080015912},
  note = {Source identifier: 20080015912}
}