Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata. - Michaël Adélaïde; Olivier F. Roux (FTRTFT, 2000)

A Class of Decidable Parametric Hybrid Systems. - Michaël Adélaïde; Olivier F. Roux (AMAST, 2002)

On the Urgency Expressiveness. - Michaël Adélaïde; Claire Pagetti (FSTTCS, 2004)