A Semantic Preorder on Refinement and Fairness | IEEE Conference Publication | IEEE Xplore