Experiences of leap second adjustment operations and questionnaires in Japan | IEEE Conference Publication | IEEE Xplore