A case study of multi-level modelling for domain-specific process modelling