doi dblp Automatic Construction of Statechart-Based Anomaly Detection Models for Multi-Threaded Industrial Control Systems Amit Kleinmann | Avishai Wool 2017 Volume 8 Issue 4