Bernd Finkbeiner Klaus Havelund Grigore Rosu Oleg Sokolsky 07011 Abstracts Collection -- Runtime Verification. 2007 Runtime Verification http://drops.dagstuhl.de/opus/volltexte/2008/1376 conf/dagstuhl/2007P7011 db/conf/dagstuhl/P7011.html#FinkbeinerHRS07a