From Local Patterns to Global Models: Towards Domain Driven Educational Process Mining | IEEE Conference Publication | IEEE Xplore