Procedura per la diagnosi di guasto degli orologi atomici