A priority ceiling protocol with dynamic adjustment of serialization order | IEEE Conference Publication | IEEE Xplore