On the exploitation of process mining for security audits: the process discovery case
Mining process models with non-free-choice constructs