Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems