The Portuguese legal/official hour is maintained by Observatório Astronómico de Lisboa. If you want to configure your devices so that they use the correct time configuration you can use the following two servers:

ntp02.oal.ul.pt
ntp04.oal.ul.pt