1
Runtime verification [E-Book] : 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /