Automated Verification of LV Network Topologies | IEEE Conference Publication | IEEE Xplore