Algorithms for Determining the Demand-Based Load of a Sporadic Task System | IEEE Conference Publication | IEEE Xplore