Open a command prompt or set this up in a batch file to run when users log in the system and have the following set.
w32tm /config /syncfromflags:domhier /update
net stop w32time
net start w32time
This will synchronize the time of the machine to point to the domain controller which is configured on the machine. If the machine is joined to domain X it will inherit the time setup from domain X, irrelevant if there are multiple domain controllers in domain X. This is the new format which has taken place of the NET TIME which was used by Windows XP downwards.