Construction and evaluation of the first Brazilian atomic clock | IEEE Journals & Magazine | IEEE Xplore