Reachability for Updatable Timed Automata made faster and more effective