@misc{indiciaeabe8c89abfc4,
  title = {Using RSVP for analyzing state and previous activities for the Mars Exploration Rovers},
  author = {Cooper, B. and Hartman, F. and Yen, J. and Wright, J. and Maxwell, S.},
  year = {2004},
  url = {https://ntrs.nasa.gov/citations/20060029355},
  note = {Source identifier: 20060029355}
}