Bounding the Maximum Length of Non-preemptive Regions under Fixed Priority Scheduling | IEEE Conference Publication | IEEE Xplore