Qualitative and Quantitative Optimization for Dependability Analysis. IJCAI 2018, 42 (3). https://doi.org/10.31449/inf.v42i3.1580.