A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking - Moffat, N; Goldsmith, M; Roscoe, B (Formal methods and software engineering: 10th International Conference on Formal Engineering Methods‚ ICFEM 2008‚ Kitakyushu−City‚ Japan‚ October 27−31‚ 2008: proceedings, 2008)