@inproceedings{chen-rosu-2007-oopsla,
author = {Feng Chen and Grigore Ro\c{s}u},
title = "{MOP: An Efficient and Generic Runtime Verification Framework}",
booktitle = {Object-Oriented Programming, Systems, Languages and Applications(OOPSLA'07)},
year      = {2007},
publisher = {ACM press},
pages = {569-588}
}