TY  - RPRT
TI  - Engineering Complex Embedded Systems with State Analysis and the Mission Data System
AU  - Ingham, Michel D.
AU  - Rasmussen, Robert D.
AU  - Bennett, Matthew B.
AU  - Moncada, Alex C.
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20070019287
ID  - 20070019287
ER  -