Scheduling Sporadic, Hard Real-Time Tasks with Resources | IEEE Conference Publication | IEEE Xplore