@article{havelund-rosu-2004-sttt,
  author    = {Klaus Havelund and Grigore Rosu},
  title     = {Efficient monitoring of safety properties},
  journal   = {STTT},
  volume    = {6},
  number    = {2},
  year      = {2004},
  pages     = {158-173}
}