Programming against Multi-Version Metamodels: A Model Differencing and Virtualization Approach (GEMOC Probevortrag)