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

by N Halbwachs, Y-E Proy, P Roumano
Venue:Form. Method Syst. Des