A CubeSat-payload radiation-reliability assurance case using goal structuring notation | IEEE Conference Publication | IEEE Xplore