blogHorário de Brasília é gerado do Rio de Janeiro 1 de outubro de 20261 de outubro de 20267 Apesar do nome, horário de Brasília é gerado no Rio de Janeiro: Observatório Nacional usa 7 relógios atômicos de césio e 2 masers de hidrogênio para manter a Hora Legal Brasileira.
