CrashTest'ing SWAT: Accurate, gate-level evaluation of symptom-based resiliency solutions | IEEE Conference Publication | IEEE Xplore