Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines Is Strongly coNP-Complete | IEEE Conference Publication | IEEE Xplore