US7493300B2 - Model and System for Reasoning with N-Step Lookahead in Policy-Based System Management