EPC verification in the ARIS for MySAP reference model database by B.F. van Dongen & M.H. Janssen-Vullers