Time coherency distribution over an avionics network