@misc{indiciae082f7f798d3a,
  title = {Model-Based Verification and Validation of the SMAP Uplink Processes},
  author = {Khan, M. Omair and Dubos, Gregory F. and Tirona, Joseph and Standley, Shaun},
  year = {2013},
  url = {https://ntrs.nasa.gov/citations/20150007850},
  note = {Source identifier: 20150007850}
}