Static-Priority Scheduling and Resource Hold Times