Optimizing Process Discovery Quality Criteria and Model Measurements using Receiver Operating Characteristic Analysis and Infrequent Inductive Miner | IEEE Conference Publication | IEEE Xplore