Probabilistic methods in life-cycle design | IEEE Conference Publication | IEEE Xplore