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.

Fonte: Guia de curiosos da internet