Static and dynamic scheduling of sporadic tasks for single-processor systems | IEEE Conference Publication | IEEE Xplore