The Distributed Deadline Synchronization Protocol for Real-Time Systems Scheduled by EDF