Bridging abstraction layers in process mining · Study