@misc{indiciae746fb8c81c6e,
  title = {CLARAty : improving software reliability for robotic space applications},
  author = {Nesnas, Issa A. D.},
  year = {2006},
  url = {https://ntrs.nasa.gov/citations/20060043723},
  note = {Source identifier: 20060043723}
}