Detection and Interactive Repair of Event Ordering Imperfection in Process Logs · Study