process mining in healthcare - a case study .
Workflow mining: discovering process models from event logs