Efficient partitioning of sporadic real-time tasks with shared resources and spin locks | IEEE Conference Publication | IEEE Xplore