Stochastic Conformance Checking Based on Expected Subtrace Frequency | IEEE Conference Publication | IEEE Xplore