“Qualitative and Quantitative Optimization for Dependability Analysis”, INF, vol. 42, no. 3, Sep. 2018, doi: 10.31449/inf.v42i3.1580.