Impact of leap second insertion in UTC on astronomy and the discussion in the IAU working group on the redefinition of UTC | IEEE Conference Publication | IEEE Xplore