Mining Multi-variant Process Models from Low-Level Logs · Study