@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" }