@inproceedings{rosu-chen-ball-2008-rv,
  author={Grigore Ro{\c s}u and Feng Chen and Thomas Ball},
  title={Synthesizing Monitors for Safety Properties  -- This Time With Calls and Returns --},
  booktitle={Workshop on Runtime Verification (RV'08)},
  year={2008},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5289},
  pages = {51--68}
}