A General Approach to State Refinement | IEEE Conference Publication | IEEE Xplore