An Extension of LTL with Rules and Its Application to Runtime Verification.

Klaus Havelund, Doron Peled

Browse the full RV paper archive.