Compressed Air Energy Storage System Modeling for Power System Studies | IEEE Journals & Magazine | IEEE Xplore