Verification of real-time systems using linear relation analysis. (1997)

by N Halbwachs, Y Proy, P Roumanoff
Venue:Formal Methods in System Design,