Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers - Qadeer, Shaz; Tasiran, Serdar (Springer Berlin Heidelberg : Imprint: Springer, 2013)