Theodore P. Baker, Michele Cirinei: A Necessary and Sometimes Sufficient Condition for the Feasibility of Sets of Sporadic Hard-Deadline Tasks. RTSS 2006: 178-190