Use of probabilistic risk assessments for the space station program | IEEE Conference Publication | IEEE Xplore