Process mining and verification of properties door B.F. van Dongen, H.T. de Beer & W.M.P. van der Aalst