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