Process mining and verification by B.F. van Dongen