Deploying Intrusion-Tolerant SCADA for the Power Grid. - Amy Babay; John L. Schultz; Thomas Tantillo; Samuel Beckley; Eamon Jordan; Kevin Ruddell; Kevin Jordan; Yair Amir (DSN, 2019)