Improving process models by mining mappings of low-level events to high-level activities · Study