Basic program structures for avoiding priority inversions | IEEE Conference Publication | IEEE Xplore