@InProceedings{bauer:leucker:schallhart:RV07, author = {Andreas Bauer and Martin Leucker and Christian Schallhart}, editor = {O. Sokolsky and S. Tasiran}, title = {The good, the bad, and the ugly, but how ugly is ugly?}, booktitle = {Proceedings of the 7th International Workshop on Runtime Verification (RV)}, year = 2007, series = {Lecture Notes in Computer Science}, volume = 4839, month = Nov, pages = {126--138}, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg}, isbn = {978-3-540-77394-8} }