@InProceedings{baader:bauer:lippmann:frocos09, author = {Franz Baader and Andreas Bauer and Marcel Lippmann}, editor = {S. Ghilardi and R. Sebastiani}, title = {Runtime Verification Using a Temporal Description Logic}, booktitle = {Proceedings of the 7th International Symposium on Frontiers of Combining Systems (FroCoS)}, year = 2009, series = {Lecture Notes in Computer Science}, volume = 5749, pages = {149--164}, month = Sep, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg}, isbn = {978-3-642-04221-8} }