@misc{indiciaebcb5a9d8735f,
  title = {MARGInS Model-Based Analysis of Realizable Goals in Systems},
  author = {He, Yuning},
  year = {2019},
  url = {https://ntrs.nasa.gov/citations/20190033143},
  note = {Source identifier: 20190033143}
}