Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers - Bensalem, Saddek; Peled, Doron A. (Springer Berlin Heidelberg : Imprint: Springer, 2009)