The use of process mining in a business process simulation context: Overview and challenges | IEEE Conference Publication | IEEE Xplore