An artificially intelligent physical model-checking approach to detect switching-related attacks on power systems | IEEE Conference Publication | IEEE Xplore