StageMap: Extracting and Summarizing Progression Stages in Event Sequences | IEEE Conference Publication | IEEE Xplore