Servidores de horário NIST: o incidente de queda de energia de 5 µs explicado