@misc{indiciaeee29448b6192,
  title = {Runtime Verification},
  author = {Alwyn E Goodloe},
  url = {https://ntrs.nasa.gov/citations/20205011274},
  note = {Source identifier: 20205011274}
}