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

by Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumano
Venue:Formal Methods in System Design