Stateful Service Migration Support for Kubernetes-based Orchestration in Industry 4.0 | IEEE Conference Publication | IEEE Xplore