Probabilistic risk analysis applied to the Space-Shuttle main engine | IEEE Conference Publication | IEEE Xplore