J. P. de Albuquerque, H. Krumm, and P. L. de Geus. Policy Modeling and Refinement for Network Security Systems. 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), IEEE Computer Society, pages 24-33, 2005.