Mathematical Modelling of Large-Scale Compressed Air Energy Storage Systems | IEEE Conference Publication | IEEE Xplore