A formal model for verifying stealthy attacks on state estimation in power grids | IEEE Conference Publication | IEEE Xplore