Expansion of SFC expression for sequential control systems | IEEE Conference Publication | IEEE Xplore