@misc{indiciaefbea0f6f4d25,
  title = {Engineering Complex Embedded Systems with State Analysis and the Mission Data System},
  author = {Ingham, Michel D. and Rasmussen, Robert D. and Bennett, Matthew B. and Moncada, Alex C.},
  year = {2004},
  url = {https://ntrs.nasa.gov/citations/20070019287},
  note = {Source identifier: 20070019287}
}