An approach to SysML modeling of IEC 61131-3 control software | IEEE Conference Publication | IEEE Xplore