Angus Graham, Thiruvengadam Radhakrishnan, Clifford Grossner: Incremental Validation of Policy-Based Systems. POLICY 2004: 240-249