@inproceedings{
    KLHN:RV09,
    author = {K{\"a}hk{\"o}nen, Kari and Lampinen, Jani and Heljanko, Keijo and Niemel{\"a}, Ilkka},
    title = "The {LIME} Interface Specification Language and Runtime Monitoring Tool",
    url = "http://dx.doi.org/10.1007/978-3-642-04694-0_7",
    series = "Lecture Notes in Computer Science",
    booktitle = "Proceedings of the 9th International Workshop on Runtime Verification, RV2009",
    volume = "5779",
    flags = "LIME copy",
    year = "2009",
    internalpdf = "KLHN-RV09.pdf",
    pages = "93-100"
}