@misc{indiciae96d8e4bdd9b0,
  title = {A Scala DSL for RETE-Based Runtime Verification},
  author = {Havelund, Klaus},
  year = {2013},
  url = {https://ntrs.nasa.gov/citations/20150008010},
  note = {Source identifier: 20150008010}
}