Process Mining for Game Analytics | IEEE Conference Publication | IEEE Xplore