A Non-Work-Conserving Model for P-FRP Fixed Priority Scheduling | IEEE Conference Publication | IEEE Xplore