Verification of Real-Time Systems using Linear Relation Analysis (1997)

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