Improving Reachability Analysis of Hybrid Automata for Engine Control