Contributors to Using GPS as a time source for ntpd