In Search of Rules for Evolvable and Stateful run-time Deployment of Controllers in Industrial Automation Systems