Process discovery from event data: Relating models and logs through abstractions | Synapse