Paper accepted at 14th International Conference on Model-Based Software and Systems Engineering (MODELSWARD)