Fearing substantial machine downtime, the conservative PLC industry is very reluctant to address its legacy software. Based on Bas Beuting's master's thesis, Cordis and Axini have developed a combination of automatic code-to-model transformations and model-based testing that can overcome this reluctance. Capgemini Engineering is ready to put the integrated solution into practice.