Documentos voltados para o cliente, como cartões de embarque e itinerários, geralmente mostram os horários locais para facilitar o uso. Apenas use relógios de aeroporto. Eu não confiaria no público voador para computar o UTC. Seria o caos.
Os documentos voltados para a tripulação normalmente serão definidos para UTC ou zulu.