@inproceedings{
    DBLP:conf/rv/KahkonenLHN09,
    editor = "Bensalem, Saddek and Peled, Doron",
    author = {K{\"a}hk{\"o}nen, Kari and Lampinen, Jani and Heljanko, Keijo and Niemel{\"a}, Ilkka},
    responsibleauthor = {K{\"a}hk{\"o}nen, Kari},
    title = "The {LIME} Interface Specification Language and Runtime Monitoring Tool",
    ee = "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 (RV'09)",
    corerank = "NA",
    juforank = "1",
    volume = "5779",
    url = "http://dx.doi.org/10.1007/978-3-642-04694-0_7",
    flags = "DC StMcDes LIME copy",
    il = "yes",
    year = "2009",
    bibsource = "DBLP, http://dblp.uni-trier.de",
    impactfactor = "D3",
    pages = "93--100"
}