In the present day, distributed systems are becoming more and more important. It can be difficult to stop such systems to perform an update, either because they are critical infrastructure, like air traffic control systems, ...