Robert Craven, Jorge Lobo, Emil C. Lupu, Alessandra Russo, Morris Sloman: Decomposition techniques for policy refinement. CNSM 2010: 72-79