presented at event MODELS '12: ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems Conference