Verification of Linear Hybrid Systems by Means of Convex Approximations. - Nicolas Halbwachs; Yann-Eric Proy; Pascal Raymond (SAS, 1994)