Software Safety Assessment and Probabilities | IEEE Conference Publication | IEEE Xplore