@misc{indiciaee394e3061ceb,
  title = {Engineering complex embedded systems with state analysis and the mission data system},
  author = {Ingham, Michel and Rasmussen, Robert and Bennett, Matthew and Moncada, Alex},
  year = {2004},
  url = {https://ntrs.nasa.gov/citations/20060043379},
  note = {Source identifier: 20060043379}
}