Ich habe mir eine Timer Programmierung mit einer Schaltung von 30ns Sekunden langzeitsynchroniertem PPS Impulses eines GPS und 32,xxxKHZ eines 2ppm RTC Signals aufgebaut.
Die RTC Taktet ab und zu mal in 32.767, also nur einen daneben.. das kann man glaube ich vernachlässigen wenn man Stunden in ms messen will.. da werden einige Lösungen ohne viel Investition weiter daneben liegen.