Runtime verification : Dagstuhl seminar 07011 ; January 2-6, 2007 ; executive summary - Finkbeiner, Bernd (Dagstuhl seminar proceedings 07011, 2008)