Optimizing the design of end-to-end spacecraft systems using risk as a currency | IEEE Conference Publication | IEEE Xplore