de Leoni, Massimiliano [0000-0002-8447-5374] ; van der Aalst, Wil M. P. [P:(DE-82)IDM02412] ; Dees, Marcus