Resource-Locking Durations in EDF-Scheduled Systems | IEEE Conference Publication | IEEE Xplore