Mian, Zhibao, Bottaci, Leonardo, "Multi-objective architecture optimisation modelling for dependable systems", , 2025