μ-DSU : a Micro-Language Based Approach to Dynamic Software Updating