Schedulability analysis of globally scheduled preemptive applications