An Interactive Error-correcting Approach for IoT-sourced Event Logs · Study