Integration of Processes using Formal Methods door Ayesha Manzer