@inproceedings{sen-rosu-2003-rv,
    author = "Sen, Koushik and Rosu, Grigore",
    publisher = "Elsevier",
    doi = "http://dx.doi.org/10.1016/S1571-0661(04)81051-X",
    title = "Generating Optimal Monitors for Extended Regular Expressions",
    series = "Electronic Notes in Theoretical Computer Science",
    booktitle = "Proceedings of 3rd International Workshop on Runtime Verification (RV'03)",
    month = "June",
    volume = "89(2)",
    year = "2003",
    pages = "226-245"
}