I think that they typically use lots of other atomic clocks [0].

[0]: https://en.wikipedia.org/wiki/International_Atomic_Time