Research on Lease Operation Model and Mechanism of Pumped-Storage Power Station Based on Incentive Compatibility Principle | IEEE Conference Publication | IEEE Xplore