Integration of Processes using Formal Methods: FORMALIZATION OF CORE-COMPETENCY PROCESSES FOR INTEGRATION OF VALUE-ADD CHAINS