Process Mining in Healthcare: Evaluating and Exploiting Operational Healthcare Processes (SpringerBriefs in Business Process Management)