First steps towards an IEEE 802.1AS clock for EDF scheduling in distributed real-time systems | Publicación