Runtime Verification : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers - Sarfraz Khurshid, Koushik Sen ((Lecture Notes in Computer Science))