The Distributed Deadline Synchronization Protocol for real-time systems scheduled by EDF | IEEE Conference Publication | IEEE Xplore