A bayesian approach to reliability demonstration for aerospace systems | IEEE Conference Publication | IEEE Xplore