A Refined Algorithm for Reachability Analysis of Updatable Timed Automata | IEEE Conference Publication | IEEE Xplore