The power system for the Channel Tunnel | IET Journals & Magazine | IEEE Xplore