Dagstuhl Seminar Proceedings: Runtime Verification 2007