Bernd Finkbeiner Klaus Havelund Grigore Rosu Oleg Sokolsky Runtime Verification 07011 2008 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany Dagstuhl Seminar Proceedings db/conf/dagstuhl/P7011.html