MBSE approach to support and formalize mission alternatives generation and selection processes for hypersonic and suborbital transportation systems | IEEE Conference Publication | IEEE Xplore