Model-driven Migration of Supervisory Machine Control Architectures