@misc{indiciae11cfe6296c62,
  title = {MBSE Validation and Verification: Case Study for LADEE},
  author = {Karen Gundy-Burlet},
  year = {2021},
  url = {https://ntrs.nasa.gov/citations/20205011544},
  note = {Source identifier: 20205011544}
}