@misc{indiciaec81185402aa7,
  title = {Techniques and Lessons from Fault Protection: NASA Workshop on Autonomy Validation},
  author = {Day, John C.},
  year = {2012},
  url = {https://ntrs.nasa.gov/citations/20150004711},
  note = {Source identifier: 20150004711}
}