EDF scheduling for distributed systems built upon the IEEE 802.1AS clock - A theoretical-practical comparison | Publicación