Model-driven embedded systems design environment for the industrial automation sector | IEEE Conference Publication | IEEE Xplore