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