Market-clearing with stochastic security-part I: formulation | IEEE Journals & Magazine | IEEE Xplore