As I mentioned in my Solve an obscure Back to my Mac issue blog entry, it’s possible to configure OS X’s time servers to be a bit more robust than just relying on one time server—if that server goes ...
Run NET TIME /SETSNTP:uk.pool.ntp.org on your DC. As long as thw windows time service is running on your domain members the rest is done automatically.