Capella based system engineering modelling and multi-objective optimization of avionics systems | IEEE Conference Publication | IEEE Xplore