Scheduling Sporadic Tasks with Shared Resources in Hard-Real-Time Systems