Static-Priority Scheduling and Resource Hold Times | IEEE Conference Publication | IEEE Xplore