An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract). - Bernard Boigelot; Louis Bronne; Stéphane Rassart (CAV, 1997)