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