Rule Systems for Run-Time Monitoring: From Eagleto RuleR.

Howard Barringer, David E. Rydeheard, Klaus Havelund

Browse the full RV paper archive.