RVRTL: Run-Time Verification of Real-Time and Reactive Programs with Real-Time Logic Approach.

Saeed Jalili Mehdi MirzaAghaei RVRTL: Run-Time Verification of Real-Time and Reactive Programs with Real-Time Logic Approach. 371-377 2007 conf/serp/2007-2 Software Engineering Research and Practice db/conf/serp/serp2007-2.html#JaliliM07