GECCO: Constraint-driven Abstraction of Low-level Event Logs | IEEE Conference Publication | IEEE Xplore