@misc{indiciaec84add774d5b,
  title = {Challenges in High-Assurance Runtime Verification},
  author = {Goodloe, Alwyn E.},
  year = {2016},
  url = {https://ntrs.nasa.gov/citations/20160012454},
  note = {Source identifier: 20160012454}
}