Lo suyo es que obtengáis la hora oficial de España, del Real Instituto y Observatorio de la Armada (ROA), a través de NTP.
https://www2.roa.es/hora/
Luego ya añades 0, 1 o 2 según la empresa emisora esté en Canarias o la península o sea horario de verano o invierno.
Por cierto, de momento, si no cambia nada, en Octubre de 2026 es el último cambio programado de hora, no se si las funciones que usamos (yo uso también esa de EsHorarioVerano) tienen en cuenta este posible inconveniente.