A probabilistic spot market design for reducing real-time balancing costs | IEEE Conference Publication | IEEE Xplore