@article{meredith-jin-griffith-chen-rosu-2011-jsttt, author = "Meredith, Patrick O'Neil and Jin, Dongyun and Griffith, Dennis and Chen, Feng and Ro\c{s}u, Grigore", publisher = "Springer", doi = "http://dx.doi.org/10.1007/s10009-011-0198-6", title = "An Overview of the {MOP} Runtime Verification Framework", journal = "International Journal on Software Techniques for Technology Transfer", number = "3", month = "June", volume = "14", year = "2011", pages = "249-289" }