L. Boucerredj and N. Debbache, “Qualitative and Quantitative Optimization for Dependability Analysis”, IJCAI, vol. 42, no. 3, Sep. 2018.