A Modelling and Simulation Framework for the Integrated Design of Aircraft Systems