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

by N Halbwachs, Y-E Proy, P Roumanoff
Venue:Form. Methods Syst. Des