Automatic Verification of Smart Substation SCD Configuration and Virtual Terminal Blocks | IEEE Conference Publication | IEEE Xplore