Howard Barringer Klaus Havelund David E. Rydeheard Alex Groce Rule Systems for Runtime Verification: A Short Tutorial. 1-24 2009 RV http://dx.doi.org/10.1007/978-3-642-04694-0_1 conf/rv/2009 db/conf/rv/rv2009.html#BarringerHRG09