A modelling and simulation framework for the integrated design of aircraft systems