Resource-Locking Durations in EDF-Scheduled Systems