Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations. - Oleg Botchkarev; Stavros Tripakis (HSCC, 2000)