Extended fault modeling used in the space shuttle PRA | IEEE Conference Publication | IEEE Xplore