Runtime verification : 07011 abstracts collection ; Dagstuhl seminar - Finkbeiner, Bernd (Dagstuhl seminar proceedings 07011, 2008)