Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier: Control in o-minimal Hybrid Systems. LICS 2006: 367-378