Integration of Processes using Formal Methods by Ayesha Manzer