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