Discovering Structural Formations of Multi-Level and Compound Control-Flow Gateways From Process Logs | IEEE Journals & Magazine | IEEE Xplore