Downtime Optimized Live Migration of Industrial Real-Time Control Services | IEEE Conference Publication | IEEE Xplore