GPS uses atomic clocks, not sure why we'd need something more precise for a timing reference on any other satellite system, unless you wanted to get like millimeter-level accuracy using nothing but satellites (and that would require a lot more than just a better clock on the sats).