@inproceedings{havelund17,
  author    = {Klaus Havelund and
               Giles Reger},
  title     = {Runtime Verification Logics {A} Language Design Perspective},
  booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
               Larsen on the Occasion of His 60th Birthday},
  pages     = {310--338},
  year      = {2017},
  doi       = {10.1007/978-3-319-63121-9_16}
}