Integration of Processes using Formal Methods