Superposition and fairness in reactive system refinement | IEEE Conference Publication | IEEE Xplore