Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2008)