Composing Semi-algebraic O-Minimal Automata. - Alberto Casagrande; Pietro Corvaja; Carla Piazza; Bud Mishra (HSCC, 2007)

Decidable Compositions of O-Minimal Automata. - Alberto Casagrande; Pietro Corvaja; Carla Piazza; Bud Mishra (ATVA, 2008)