@misc{indiciae32e8d1c890c7,
  title = {The Use of Modeling for Flight Software Engineering on SMAP},
  author = {Murray, Alexander and Jones, Chris G. and Reder, Leonard and Cheng, Shang-Wen},
  year = {2011},
  url = {https://ntrs.nasa.gov/citations/20120007457},
  note = {Source identifier: 20120007457}
}