@misc{indiciaeb539aaa291bc,
  title = {Validation and Verification of the Remote Agent For Spacecraft Autonomy},
  author = {Clark, M. and Gamble, E. and Nayak, P. and Tung, Y. and Dunphy, J. and Millar, B. and Smith, B.},
  year = {1999},
  url = {https://ntrs.nasa.gov/citations/20210003369},
  note = {Source identifier: 20210003369}
}