The Distributed Deadline Synchronization Protocol for real-time systems scheduled by EDF