Modeling of Tractive Power Supply Systems for Heavy-Tonnage Trains Operation | IEEE Conference Publication | IEEE Xplore