An electricity market with a probabilistic spinning reserve criterion | IEEE Journals & Magazine | IEEE Xplore