Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing. Tool-Supported Refinement of High-Level Requirements and Constraints Into Low-Level Policies. In POLICY 2011, IEEE International Symposium on Policies for Distributed Systems and Networks, Pisa, Italy, 6-8 June 2011. pages 97-104, IEEE Computer Society, 2011. [doi]
Abstract is missing.