Boucerredj, L.; Debbache, N. Qualitative and Quantitative Optimization for Dependability Analysis. IJCAI 2018, 42.