Detecting Semantic Attack in SCADA System: A Behavioral Model Based on Secondary Labeling of States-Duration Evolution Graph | IEEE Journals & Magazine | IEEE Xplore