[dathinab]

Also less know:

GPS can be used as an additional "highish" precision clock source for servers.

It works based on the device having known GPS position and knowledge that the position didn't change at all.

EDIT: This as far as I know also applies to other GPS like systems.