Global fixed priority scheduling with deferred pre-emption | IEEE Conference Publication | IEEE Xplore