Model-based system engineering of the Orion flight test 1 end-to-end information system | IEEE Conference Publication | IEEE Xplore