Survey and Benchmark of Anomaly Detection in Business Processes | IEEE Journals & Magazine | IEEE Xplore