Raffaella Gentilini Reachability Problems on Extended O-Minimal Hybrid Automata. 162-176 2005 conf/formats/2005 FORMATS http://dx.doi.org/10.1007/11603009_14 db/conf/formats/formats2005.html#Gentilini05