TY  - RPRT
TI  - The Use of Modeling for Flight Software Engineering on SMAP
AU  - Murray, Alexander
AU  - Jones, Chris G.
AU  - Reder, Leonard
AU  - Cheng, Shang-Wen
PY  - 2011
UR  - https://ntrs.nasa.gov/citations/20120007457
ID  - 20120007457
ER  -