@misc{indiciae7ed40a284aab,
  title = {Formal Methods for Trusted Space Autonomy, Boon or Bane?},
  author = {Chien, Steve},
  year = {2022},
  url = {https://ntrs.nasa.gov/citations/20230005721},
  note = {Source identifier: 20230005721}
}