Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers - Martin Leucker ((Lecture Notes in Computer Science))