Rectifier Dynamic Mod­els for Short-Circuit Transient Analysis in DC Metrorail Sys­tems