@article{Havelund_2004,
    doi = {10.1023/b:form.0000017721.39909.4b},
    url = {https://doi.org/10.1023%2Fb%3Aform.0000017721.39909.4b},
    year = {2004},
    month = {mar},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {24},
    number = {2},
    pages = {189--215},
    author = {Klaus Havelund and Grigore Ro{\c{s}}u},
    title = {An Overview of the Runtime Verification Tool Java {PathExplorer}},
    journal = {Formal Methods in System Design}
}

@article{Havelund_2004, doi = {10.1023/b:form.0000017721.39909.4b}, url = {https://doi.org/10.1023%2Fb%3Aform.0000017721.39909.4b}, year = {2004}, month = {mar}, publisher = {Springer Science and Business Media {LLC}}, volume = {24}, number = {2}, pages = {189--215}, author = {Klaus Havelund and Grigore Ro{\c{s}}u}, title = {An Overview of the Runtime Verification Tool Java {PathExplorer}}, journal = {Formal Methods in System Design} }