programmable logic controllers. In Proceedings of the 2012 ACM conference on. Computer and communications security (CCS '12). ACM, New York, NY, USA, 439-449 ...