Runtime Semantic Security Analysis to Detect and Mitigate Control-Related Attacks in Power Grids | Synapse