Qualitative and quantitative optimization for dependability analysis