Behavioral Analysis of Service Oriented Systems Using Event-B. - Anasuya Chaudhuri; Shreya Banerjee 002; Anirban Sarkar 002 (CISIM, 2018)