Scheduling sporadic tasks with shared resources in hard-real-time systems | IEEE Conference Publication | IEEE Xplore