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

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