A probabilistic joint energy and spinning reserve market model | IEEE Conference Publication | IEEE Xplore