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

On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract). - Bernard Boigelot; Stéphane Rassart; Pierre Wolper (ICALP, 1998)