M Zhou,
H Wan, R Wang, X Song, C Su, M Gu… - Computers in Industry, 2013 - Elsevier
Abstract Programmable Logic Controllers (PLCs) are widely used in industry. PLC systems
are reactive systems which run cyclically. In each cycle, the system state is checked and the …