Probabilistic modelling and evaluation of system adequacy | IEEE Conference Publication | IEEE Xplore