ProDiGy : Human-in-the-loop process discovery | IEEE Conference Publication | IEEE Xplore