A Framework for Modeling Cyber-Physical Switching Attacks in Smart Grid | IEEE Journals & Magazine | IEEE Xplore