“Qualitative and Quantitative Optimization for Dependability Analysis” (2018) Informatica, 42(3). doi:10.31449/inf.v42i3.1580.