Efficient Upgrading in a Purely Functional Component Deployment Model -- Real-Time