Automated Discovery of Process Models from Event Logs: Review and Benchmark | IEEE Journals & Magazine | IEEE Xplore