A methodology for estimating reliability of SmallSat computers in radiation environments | IEEE Conference Publication | IEEE Xplore