Safe reuse in modelling language engineering using model subtyping with OCL constraints.