Programmable logic controllers (PLCs) are an established platform, widely used throughout
industrial automation but poorly understood among researchers. This article gives an …