Partition Scheduling Algorithm for Shared Resources in Real-Time Systems | IEEE Conference Publication | IEEE Xplore