Saddek Bensalem Doron Peled Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers 5779 2009 http://dx.doi.org/10.1007/978-3-642-04694-0 978-3-642-04693-3 RV Lecture Notes in Computer Science Springer db/conf/rv/rv2009.html