Towards a workflow to support the integration of aircraft systems' models | IEEE Conference Publication | IEEE Xplore