Measuring Fitness and Precision of Automatically Discovered Process Models: A Principled and Scalable Approach | IEEE Journals & Magazine | IEEE Xplore