A study of fault tree analysis for control program in space system | IEEE Conference Publication | IEEE Xplore