Verification of a model for handling of pumped storage for large scale market balancing | IEEE Conference Publication | IEEE Xplore