@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} }