Process mining: discovering workflow models from event-based data · Study