The partitioned scheduling of sporadic tasks according to static-priorities | IEEE Conference Publication | IEEE Xplore