A quantitative risk assessment method for space flight software systems | IEEE Conference Publication | IEEE Xplore