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