@article{bauer:kuester:vegliach:fmsd15,
  author = {Andreas Bauer and Jan-Christoph K\"uster and Gil Vegliach},
  title = {The ins and outs of first-order runtime verification},
  journal = {Formal Methods in System Design},
  volume = {46},
  number = {3},
  pages = {286--316},
  year = {2015}
}