Model-based verification of PLC programs using Simulink design. - Nannan He; Victor Oke; Gale Allen (EIT, 2016)