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