Mian, Zhibao, "Model transformation for multi-objective architecture optimisation for dependable systems", , 2014