Qualitative and Quantitative Modeling of Policy-based Autonomic Systems