Global EDF Schedulability Analysis of Arbitrary Sporadic Task Systems | IEEE Conference Publication | IEEE Xplore