Implementing Probabilistic Risk Assessment with Fault Trees to support space exploration missions | IEEE Conference Publication | IEEE Xplore