A Formal Approach to the Specification and the Behavior Validation of Real-Time Systems Based on Rewriting Logic.

Ammar Attoui Michel Schneider A Formal Approach to the Specification and the Behavior Validation of Real-Time Systems Based on Rewriting Logic. 5-22 1996 10 Real-Time Systems 1 db/journals/rts/rts10.html#AttouiS96