Development of a Semi-Markov Model for Research the Functioning of the Subway Power Supply Network | IEEE Conference Publication | IEEE Xplore