Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers - Khurshid, Sarfraz; Sen, Koushik (Springer Berlin Heidelberg, 2012)