Veri cation of linear hybrid systems by means of convex approximations (1994)

by N Halbwachs, Y-E Proy, P Raymond
Venue:In International Static Analysis Symposium, SAS'94