Mian, Z., & Bottaci, L. Multi-objective architecture optimisation modelling for dependable systems. Presented at 4th IFAC Workshop on Dependable Control of Discrete Systems, York, UK