Towards Constraint-Based Model Types: A Generalised Formal Foundation for Model Genericity Towards Constraint-Based Model Types: A Generalised Formal Foundation for Model…