Policy Refinement Checking (extended abstract) - Goldsmith, S (2009)