TY  - RPRT
TI  - Engineering complex embedded systems with state analysis and the mission data system
AU  - Ingham, Michel
AU  - Rasmussen, Robert
AU  - Bennett, Matthew
AU  - Moncada, Alex
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20060043379
ID  - 20060043379
ER  -