Comments on the debate over the proposal to redefine UTC | IEEE Conference Publication | IEEE Xplore