@misc{indiciae5bdbd98b55d2,
  title = {Case Studies in Verifying Spacecraft Autonomy},
  author = {Johnson, Stephen B. and Feather, Martin S. and Dorney, Daniel J. and Prokop, Lorraine E.},
  year = {2021},
  url = {https://ntrs.nasa.gov/citations/20220001596},
  note = {Source identifier: 20220001596}
}