Preparing HTTP Traffic for Process Mining | IEEE Conference Publication | IEEE Xplore