Time codes are usually published in the form of UTC, which differs from TAI by a well-known integer number of seconds.
tˈaɪm kˈoʊdz ɑːɹ jˈuːʒuːəli pˈʌblɪʃt ɪnðə fˈɔːɹm ʌv jˌuːtˌiːsˈiː, wˌɪtʃ dˈɪfɚz fɹʌm tˌiːˌeɪˈaɪ baɪ ɐ wˈɛlnˈoʊn ˈɪntɪdʒɚ nˈʌmbɚɹ ʌv sˈɛkəndz.