Decidable Compositions of O-Minimal Automata