@misc{indiciae7f1cf4adc132,
  title = {Rule-Based Runtime Verification},
  author = {Barringer, Howard and Goldberg, Allen and Havelund, Klaus and Sen, Koushik},
  year = {2003},
  url = {https://ntrs.nasa.gov/citations/20040012676},
  note = {Source identifier: 20040012676}
}