High-Level Event Mining: A Framework | IEEE Conference Publication | IEEE Xplore