Como os relógios de rua são ajustados para o horário de verão?

Como os relógios de rua são ajustados para o horário de verão?
Os relógios de rua são oficialmente chamados de “relógio hora-temperatura da cidade de São Paulo”. Segundo Alexandre Botelho, executivo de contas da Multi-meios, empresa que comercializa os relógios, eles são acertados simultaneamente, via satélite, pelo sistema GPS. De um computador, o responsável ajusta o horário e manda o comando para todos os relógios da cidade.