Should the spinning reserve procurement in systems with wind power generation be deterministic or probabilistic? | IEEE Conference Publication | IEEE Xplore