Linear time-series modeling of the GNSS based TEC variations over Southwest Japan during 2011–2018 and comparison against ARMA and GIM models