From Measuring the Quality of Labels in Process Models to a Discourse on Process Model Quality: A Case Study · Study