Channel Tunnel Shuttle locomotives, an overview of the design process | IET Conference Publication | IEEE Xplore