The Statechart Workbench: Enabling scalable software event log analysis using process mining | IEEE Conference Publication | IEEE Xplore