C:\>net stop w32time
C:\>w32tm /config /syncfromflags:manual /manualpeerlist:time1.ntp.org,time2.ntp.org,time3.ntp.org
C:\>w32tm /config /reliable:yes
C:\>net start w32time
To check the configuration
C:\>w32tm /query /configuration
Checking domain members time subscriptions
To check that a domain member is syncing time with the Active Directory master you can check here in the registry
HKLM\System\CurrentControlSet\Services\W32Time\Parameters\Type
If Type is set to Nt5DS then the member machine should be checking with the domain controller for its time. If Type is set to NTP it will be checking on its own.
You can see what time server the machine is checking with using the /monitor command
C:\>w32tm /monitor