Compositional Refinement for Real-Time Systems with Priorities | IEEE Conference Publication | IEEE Xplore