Coordinated universal time and the leap second | URSI Journals & Magazine | IEEE Xplore