Finite-time thermodynamics modeling and analysis on compressed air energy storage systems with thermal storage