@misc{indiciae0cf8ad5b2abe,
  title = {Autonomy software verification and validation might not be as hard as it seems},
  author = {Gat, Erann},
  year = {2004},
  url = {https://ntrs.nasa.gov/citations/20210002138},
  note = {Source identifier: 20210002138}
}