From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts | IEEE Conference Publication | IEEE Xplore