Modeling of Cyber Attacks and a Time Guard Detection for ICS based on Discrete Event Systems | IEEE Conference Publication | IEEE Xplore