Automatic Generation and Parameter Verification of Large-scale EMT Simulation Models Based on TSP Projects | IEEE Conference Publication | IEEE Xplore