Process mining in healthcare : evaluating and exploiting operational healthcare processes /: evaluating and exploiting operational healthcare processes. ([2015])