Integrated Design and Verification Method of Aircraft and Propulsion System | IEEE Conference Publication | IEEE Xplore