Network-Attack-Resilient Intrusion-Tolerant SCADA for the Power Grid. - Amy Babay; Thomas Tantillo; Trevor Aron; Marco Platania; Yair Amir (DSN, 2018)