Reducing the number of clock variables of timed automata | IEEE Conference Publication | IEEE Xplore