Validation of Business Process Models through Interactively Enacted Simulation. - Felix Hochleitner; Stefan Oppl (S-BPM ONE, 2018)