Attacks on Industrial Control Systems - Modeling and Anomaly Detection In Proceedings of the 4th International Conference on Information Systems Security and Privacy - Volume 1: ForSE, 581-588, 2018 , Funchal, Madeira, Portugal