Cyber-physical risk modeling and mitigation for the smart grid using a game-theoretic approach | Synapse