Visualization for enabling human-in-the-loop in trace clustering-based process mining tasks | IEEE Conference Publication | IEEE Xplore