W.M.P. van der Aalst, Eindhoven University of Technology, The Netherlands