A representative function approach to symmetry exploitation for CSP refinement checking - Moffat, N; Goldsmith, M; Roscoe, A (2008)