Space Shuttle probabilistic risk assessment: methodology and application | IEEE Conference Publication | IEEE Xplore