Describir: Evaluation of the real-world impact of the process mining methodology on a quality assurance process for auditing red blood cell inventory: Two case studies.