Approach to programmable controller building by its main modules synthesizing based on requirements specification for industrial automation | IEEE Conference Publication | IEEE Xplore