0 - Runtime Verification 2012 (RV`12)