@inproceedings{havelund-rosu-2002-tacas,
    author = "Havelund, Klaus and Rosu, Grigore",
    publisher = "Springer",
    doi = "http://dx.doi.org/10.1007/3-540-46002-0_24",
    title = "Synthesizing Monitors for Safety Properties",
    series = "LNCS",
    booktitle = "Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02)",
    month = "April",
    volume = "2280",
    year = "2002",
    pages = "342-356"
}