Efficient Process Discovery From Event Streams Using Sequential Pattern Mining | IEEE Conference Publication | IEEE Xplore