Timekeeping at the US Naval Observatory | IEEE Journals & Magazine | IEEE Xplore