Model-based verification of PLC programs using Simulink design | IEEE Conference Publication | IEEE Xplore